Concolic Execution and Test Case Generation in Prolog.

Published in: LOPSTR (2014)

Keyphrases

test case generation
test cases
software testing
test data generation
object oriented systems
test suite
logic programming
information systems
programming language
real time
case study
database systems
java programs