@inproceedings{cbb640b58a464390bd07a3db6f995748,
title = "Helping the tester get it right: Towards supporting agile combinatorial test design",
abstract = "Combinatorial test design (CTD) is an effective test planning technique that reveals faulty feature interaction in a given system. CTD takes a systematic approach to formally model the system to be tested, and propose test cases ensuring coverage of given conditions or interactions between parameters. In this position paper we propose a framework for supporting agile CTD, a human-centered methodology, which takes into account the human tester{\textquoteright}s possible mistakes and supports revision and refinement. In this approach a combinatorial model of the system and test plans are constructed in an incremental and iterative way, providing the tester with the ability to refine and validate the constructions. We propose a formal framework which can be used as a theoretical foundation for the development of agile CTD support tools, and describe a use case of an envisioned tool.",
author = "Anna Zamansky and Eitan Farchi",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2015.; 13th International Conference on Software Engineering and Formal Methods, SEFM 2015 ; Conference date: 07-09-2015 Through 08-09-2015",
year = "2015",
doi = "10.1007/978-3-662-49224-6_4",
language = "American English",
isbn = "9783662492239",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "35--42",
editor = "Domenico Bianculli and Radu Calinescu and Bernhard Rumpe",
booktitle = "Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops",
address = "Germany",
}