Tools for Test Case Generation.

Axel Belinfante Lars Frantzen Christian Schallhart

Published in: Model-Based Testing of Reactive Systems (2004)

Keyphrases

test case generation
object oriented systems
test cases
high level
software testing
case study
real time
information systems
object oriented
optimization algorithm
software systems
software maintenance
test data generation