Concolic Testing in CLP.

Fred Mesnard Étienne Payet Germán Vidal

Published in: CoRR (2020)

Keyphrases

constraint logic programming
test cases
databases
case study
database systems
database
real world
objective function
software testing