Login / Signup
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.
Boutheina Bannour
Jose Pablo Escobedo
Christophe Gaston
Pascale Le Gall
Published in:
ICTSS (2012)
Keyphrases
</>
test case generation
test cases
software testing
test data generation
test suite
object oriented systems
petri net
java programs
object oriented
software development
static analysis
machine learning
test set
case study
evolutionary algorithm