contest is an automatic test case
generator for logic programs. The tool is based on concolic execution (a combination of concrete and symbolic execution)
following the ideas introduced in the following paper:
It takes the following inputs:
You can also watch a presentation of the paper here.
Check the web interface in the next tab.
Please let me know if you have any question or comment to
Choose a file:
Generated test cases: