In this site you can find the tool and experiments that are part of the paper EvoSpex: An Evolutionary Algorithm for Learning Postconditions submitted to ICSE 2021.
Download EvoSpex
Java (>= 8)
Uncompress the downloaded file and run the script with the motivating example:
./evospex.sh AvlTreeList src/test/resources/objects/AvlTreeList/add\\\(int\,java.lang.Object\\\)/3/
The experiments we performed are detailed in the following pages:
Inferring postconditions: contains the instructions to generate the postconditions for each SF110 subject considered in the paper.
Oracle Assessment presents the steps we performed to evaluate the quality of the postconditions generated by EvoSpex and by Daikon.
Contracts Reproduction shows how to generate the postconditions that EvoSpex learned for classes equipped with contracts.