Test Case Generation for Ultimately Periodic Paths.

Saddek Bensalem Doron A. Peled Hongyang Qu Stavros Tripakis Lenore D. Zuck

Published in: Haifa Verification Conference (2007)

Keyphrases

test case generation
test cases
software testing
test data generation
object oriented systems
test suite
static analysis
database
object oriented
java programs
databases
real world
source code