@inproceedings{c7e167ebec4a469fab700a3528920ebc,
title = "AHR: Human-centred aspects of test design",
abstract = "To apply model-based testing successfully and effectively, a complete, coherent and easy-to-read model of a system has to be constructed. If the model is incomplete, inconsistent or inaccurate due to human error, the corresponding test development becomes useless or even dangerous: the developers might rely on the test results that do not correctly reflect the actual system-under-test. In this chapter we discuss human-centred aspects of model-based test design, focusing on combinatorial testing. These aspects are implemented within a formal framework for combinatorial test design. The framework is called AHR by its core features: Agile, Human-centred and Refinement-oriented. The goal of the framework is to provide a human-centered iterative, refinement-based construction of system models and the corresponding test plans, as well as to supports reuse and refinement of the developed test plans at different levels of abstraction.",
keywords = "Combinatorial test design, Formal methods, Testing, Usability, Visualisation",
author = "Maria Spichkova and Anna Zamansky",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016 ; Conference date: 27-04-2016 Through 28-04-2016",
year = "2016",
doi = "10.1007/978-3-319-56390-9_6",
language = "American English",
isbn = "9783319563893",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "111--128",
editor = "Maciaszek, {Leszek A.} and Joaquim Filipe",
booktitle = "Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Revised Selected Papers",
address = "Germany",
}