@inproceedings{78c7eb7bdd794a38b8d7bea5132c2c4f,
title = "A Human-centred framework for combinatorial test design",
abstract = "This paper presents AHR, a formal framework for combinatorial test design that is Agile, Human-centred and Refinement-oriented. The framework (i) allows us to reuse test plans developed for an abstract level at more concrete levels; (ii) has human-centric interface providing queries and alerts whenever the specified test plan is incomplete or invalid; (iii) involves analysis of the testing constraints within combinatorial testing.",
keywords = "Combinatorial test design, Formal methods, Software quality, Testing",
author = "Maria Spichkova and Anna Zamansky",
note = "Publisher Copyright: Copyright {\textcopyright} 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.; 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, ENASE 2016 ; Conference date: 27-04-2016 Through 28-04-2016",
year = "2016",
doi = "10.5220/0005898202280233",
language = "American English",
series = "ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering",
pages = "228--233",
editor = "Leszek Maciaszek and Joaquim Filipe",
booktitle = "ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering",
}