Skip to content

Amirfarhad-Nilizadeh/Java-JML

main
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
GCD
 
 
 
 
LCM
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Java+JML

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} }

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages