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:

  • Fred Mesnard, Étienne Payet, Germán Vidal. Concolic Testing in Logic Programming.
    Submitted for publication, 2015. PDF

It takes the following inputs:

  • a logic program (you can choose one of the list, edit it or write down a new one), e.g., ex01.pl,
  • an initial (arbitrary) goal, e.g., p(s(a)),
  • a list of integers denoting the input arguments, e.g., [1],
  • a maximum term depth for the generated test cases, e.g., 2, and
  • a timeout (in seconds), e.g., 30.
You can also check the box in order to show not only the test cases, but also the associated traces.

Check the web interface in the next tab.

Please let me know if you have any question or comment to gvidal@dsic.upv.es.

Source program

Show:

Generated test cases: