Petri net based test case generation for evolved specification.

Zuohua Ding Mingyue Jiang Haibo Chen Zhi Jin Mengchu Zhou

Published in: Sci. China Inf. Sci. (2016)

Keyphrases

test case generation
test cases
software testing
test data generation
test suite
object oriented systems
object oriented
software engineering
software development
formal specification
static analysis
java programs
genetic algorithm