62 citations
- University of Wisconsin–MadisonUS2 papers
- Carnegie Mellon UniversityUS1 paper
- Concordia UniversityCA1 paper
- Korea Advanced Institute of Science and TechnologyKR1 paper
- Microsoft (United States)US1 paper
- Rice UniversityUS1 paper
- Southern University of Science and TechnologyCN1 paper
- University College LondonGB1 paper
- University of Applied Sciences Upper AustriaAT1 paper
- University of MichiganUS1 paper
- University of PennsylvaniaUS1 paper
- University of PittsburghUS1 paper
Showing 2014Show all
2 papers · 1 filter
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…
cs.LO2014★ 8 cited
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…