62 citations · 72 across the 4 of their papers we have counts for
4 papers
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…
Polymorphic Type Inference for Machine Code
Matthew Noonan, Alexey Loginov, David Cok
For many compiled languages, source-level types are erased very early in the compilation process. As a result, further compiler passes may convert type-safe source into type-unsafe…
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…
SPEEDY: An Eclipse-based IDE for invariant inference
David R. Cok, Scott C. Johnson
SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It…