This page describes the results of running EvoSpex for the case studies equipped with manually written contracts. To inspect the analyzed methods and the assertions produced by EvoSpex for each Eiffel case study, visit the corresponding page:
And for each Cozy case:
For this experiment, EvoSpex was executed for each case study until it reached 30 generations or a 10 minute timeout was fulfilled. This execution was repeated 10 times, and then the postcondition that repeated the most number of times was selected. For instance, to run this experiment for the DoublyLinkedListNode case study, you can run the following script from the root folder:
./experiments/doublylinkedlistnode-all.sh 10
In case you want to perform a unique execution of a single method, just run:
./evospex.sh DoublyLinkedListNode src/test/resources/objects/DoublyLinkedListNode/insert_right\\\(casestudies.eiffel.DoublyLinkedListNode\\\)/4/
To run the experiment for the remaining cases, you only need to run the corresponding script in the experiments folder.