176
Voted
ICTAC
2004
Springer
16 years 10 days ago
2004
Springer
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 the ...