Daikon
plse.cs.washington.edu ↗Detects likely program invariants and generates JML specs based on those invariants.
Detects likely program invariants and generates JML specs based on those invariants.
This entry links to an external website rather than a GitHub repository, so there's no README to display here.