Resource-Driven CLP-Based Test Case Generation.

Elvira Albert Miguel Gómez-Zamalloa José Miguel Rojas

Published in: LOPSTR (2011)

Keyphrases

test case generation
test cases
software testing
object oriented systems
test data generation
constraint logic programming
test suite
constraint programming
resource management
software maintenance
test generation
open source
real world
constraint solving
java programs
search space
cooperative
case study