This dataset has 30 Java programs that the extended static checker of OpenJML verifies their correctness.

This dataset was created for the following paper. Cite this paper if you use these programs in any academic research.

@inproceedings{aprFormalMethods, title={Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods (in press)}, author={Amirfarhad Nilizadeh and Gary T. Leavens and Xuan-Bach Le and Corina S. Pasareanu and David Cok}, booktitle={2021 14th IEEE Conference on Software Testing, Validation and Verification (ICST)}, year={2021}, organization={IEEE} }