Login / Signup
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