Concolic Testing in CLP.

Fred Mesnard Étienne Payet Germán Vidal

Published in: Theory Pract. Log. Program. (2020)

Keyphrases

constraint logic programming
constraint programming
test cases
search space
databases
website
high level
data structure
natural language
feature vectors
test data