(Software Engineering 2005, 2005) Belli, Fevzi; Budnik, Christof J.
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and, complementarily, the fault model of the system under test (SUT). Structural features of the SUT are exploited in order to decrease the complexity of the introduced algorithms. The approach is extended to UML statecharts to increase its applicability.