Validation of abstract test suites with use of SDL.

Maria Törö Gábor Ziegler

Published in: Microprocess. Microprogramming (1994)

Keyphrases

test suite
test suite reduction
test cases
regression testing
software testing
test case generation
high level
mutation testing
model checker
test data
training data
test sequences
static analysis
test generation
java programs
low level
set of test cases
decision trees