Verification-Based Test Case Generation for Full Feasible Branch Coverage.

Christoph Gladisch

Published in: SEFM (2008)

Keyphrases

test case generation
test suite
test cases
software testing
test generation
test data generation
object oriented systems
model checking
java programs
static analysis
feasible solution
decision trees
information technology
object oriented
computer systems
test set