62 citations · 64 across the 2 of their papers we have counts for
2 papers
cs.SE2019★ 2 cited
Inferring Concise Specifications of APIs
John L. Singleton, Gary T. Leavens, Hridesh Rajan +1
Modern software relies on libraries and uses them via application programming interfaces (APIs). Correct API usage as well as many software engineering tasks are enabled when APIs…
cs.SE2014★ 62 cited
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok
OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the foundation of JML, OpenJDK and Eclipse, as well as on m…