Test input generation using separati logic.

Published in: ACM SIGSOFT Softw. Eng. Notes (2018)

Keyphrases

logic programming
test data
modal logic
training data
search algorithm
evolutionary algorithm
logic programs
test cases
statistical tests
logical framework
computational properties