David R. Cok

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 15

Top Topics

Functional Programming

Automated Reasoning

Top Venues

The Logic of Software. A Tasting Menu of Formal Methods

J. Satisf. Boolean Model. Comput.

Publications

Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok
Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs. J. Object Technol. 23 (2) (2024)
David R. Cok
Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language. FTfJP@ECOOP (2022)
David R. Cok, K. Rustan M. Leino
Specifying the Boundary Between Unverified and Verified Code. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh
Further Lessons from the JML Project. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok
Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts. FormaliSE@ICSE (2022)
David R. Cok, Gary T. Leavens
Abstraction in Deductive Verification: Model Fields and Model Methods. ISoLA (1) (2022)
Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok
Automated Reasoning Repair. FTfJP@ECOOP (2022)
Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. ICST (2021)
David R. Cok
JML and OpenJML for Java 16. FTfJP@ECOOP (2021)
John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok
Inferring Concise Specifications of APIs. CoRR (2019)
John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok
An algorithm and tool to infer practical postconditions. ICSE (Companion Volume) (2018)
Fonenantsoa Maurica, David R. Cok, Julien Signoles
Runtime Assertion Checking and Static Verification: Collaborative Partners. ISoLA (2) (2018)
David R. Cok
Reasoning about functional programming in Java and C++. ISSTA/ECOOP Workshops (2018)
David R. Cok
Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects. ISoLA (4) (2018)
David R. Cok, Serdar Tasiran
Practical Methods for Reasoning About Java 8's Functional Programming Features. VSTTE (2018)
David R. Cok, Aaron Stump, Tjark Weber
The 2013 Evaluation of SMT-COMP and SMT-LIB. J. Autom. Reason. 55 (1) (2015)
David R. Cok
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. F-IDE (2014)
Mihaela Sighireanu, David R. Cok
Report on SL-COMP 2014. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
David R. Cok, David Déharbe, Tjark Weber
The 2014 SMT Competition. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
David R. Cok, Scott C. Johnson
SPEEDY: An Eclipse-based IDE for invariant inference. F-IDE (2014)
Tim Menzies, Andrew Butcher, David R. Cok, Andrian Marcus, Lucas Layman, Forrest Shull, Burak Turhan, Thomas Zimmermann
Local versus Global Lessons for Defect Prediction and Effort Estimation. IEEE Trans. Software Eng. 39 (6) (2013)
Ekrem Kocaguneli, Tim Menzies, Jacky Keung, David R. Cok, Raymond J. Madachy
Active Learning and Effort Estimation: Finding the Essential Content of Software Effort Estimation Data. IEEE Trans. Software Eng. 39 (8) (2013)
David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters
The 2012 SMT Competition. SMT@IJCAR (2012)
David R. Cok
OpenJML: JML for Java 7 by Extending OpenJDK. NASA Formal Methods (2011)
David R. Cok
jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2. NASA Formal Methods (2011)
Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, David R. Cok
Local vs. global models for effort estimation and defect prediction. ASE (2011)
David R. Cok
Improved usability and performance of SMT solvers for debugging specifications. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
David R. Cok
Specifying java iterators with JML and Esc/Java2. SAVCBS@FSE (2006)
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program. 55 (1-3) (2005)
David R. Cok
Reasoning with specifications containing method calls and model fields. J. Object Technol. 4 (8) (2005)
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
David R. Cok, Joseph Kiniry
ESC/Java2: Uniting ESC/Java and JML. CASSIS (2004)
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
An overview of JML tools and applications. Electron. Notes Theor. Comput. Sci. 80 (2003)
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. FMCO (2002)
Hsien-Che Lee, David R. Cok
Detecting boundaries in a vector field. IEEE Trans. Signal Process. 39 (5) (1991)