The UniTesK Approach to Designing Test Suites.

Victor V. Kuliamin Alexander K. Petrenko Alexander S. Kossatchev Igor B. Burdonov

Published in: Program. Comput. Softw. (2003)

Keyphrases

test suite
test suite reduction
test cases
regression testing
test case generation
software testing
mutation testing
tool support
model checker
testing process
static analysis
set of test cases
multi agent systems
learning algorithm
black box
java programs
test data
test set
building blocks
case study