Two program repair benchmarks translated to Eiffel

Two datasets of programs with bugs were translated to Eiffel and fully verified with AutoProof. Downloads are available at maple-recursive-eiffel and buggy-java-jml-eiffel.

Using the same code translated into different languages allows comparing program fixing approaches across different languages.

The maple-recursive-eiffel dataset is our translation from C to Eiffel of the code from “Automatic program repair using formal verification and expression templates” by Thanh-Toan Nguyen et al.

The buggy-java-jml-eiffel dataset is our translation from Java to Eiffel of the code from “Exploring true test overfitting in dynamic automated program repair using formal methods” by Amirfarhad Nilizadeh et al.