RQ1: Can bounded exhaustive generation be performed efficiently using API routines?

In this page, you can find all experiments run to answer research question 1: Can bounded exhaustive sets of structures be generated efficiently using only API routines? by comparing BEAPI with Korat , a specification approach.

• To replicate these experiments you can run the script run-testgen-benchmarks.sh 0_korat korat.examples.singlylinkedlist.SinglyLinkedList beapi 4 located in folder scripts (see home page)

• Log files after runs for each case study, technique and scope are located in folder scripts/results-begen in the fileresults_testgen_benchmarks.csv