Automated Validation of TTCN Test Suites.

Udo Bär Jürgen M. Schneider

Published in: PSTV (1992)

Keyphrases

test suite
test cases
regression testing
test suite reduction
model checker
test case generation
static analysis
tool support
software testing
mutation testing
number of test cases
java programs
semi automated
testing process
automated analysis
data sets
operating system
open source
semi supervised