A model-based approach for minimization of test sets for human-computer systems is introduced. Test cases are efficiently generated and selected to cover both the behavioral model and the complementary fault model of the system under test (SUT). Results known from state-based conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Belli, F., & Budnik, C. J. (2005). Towards minimization of test sets for human-computer systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3533 LNAI, pp. 300–309). Springer Verlag. https://doi.org/10.1007/11504894_41
Mendeley helps you to discover research relevant for your work.