David R. Cok

According to our database, David R. Cok authored at least 37 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs.

Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok

J. Object Technol., 2024

Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Xuan-Bach Dinh Le, David R. Cok

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2022

Abstraction in Deductive Verification: Model Fields and Model Methods.

David R. Cok, Gary T. Leavens

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts.

Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

Automated Reasoning Repair.

Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language.

David R. Cok

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022

Further Lessons from the JML Project.

Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

Specifying the Boundary Between Unverified and Verified Code.

David R. Cok, K. Rustan M. Leino

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods.

Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

JML and OpenJML for Java 16.

David R. Cok

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2019

Inferring Concise Specifications of APIs.

John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok

CoRR, 2019

2018

Practical Methods for Reasoning About Java 8's Functional Programming Features.

David R. Cok, Serdar Tasiran

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Reasoning about functional programming in Java and C++.

David R. Cok

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Runtime Assertion Checking and Static Verification: Collaborative Partners.

Fonenantsoa Maurica, David R. Cok, Julien Signoles

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects.

David R. Cok

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

An algorithm and tool to infer practical postconditions.

John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2016

Polymorphic type inference for machine code.

Matthew Noonan, Alexey Loginov, David R. Cok

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

The 2013 Evaluation of SMT-COMP and SMT-LIB.

David R. Cok, Aaron Stump, Tjark Weber

J. Autom. Reason., 2015

2014

Report on SL-COMP 2014.

Mihaela Sighireanu, David R. Cok

J. Satisf. Boolean Model. Comput., 2014

The 2014 SMT Competition.

David R. Cok, David Déharbe, Tjark Weber

J. Satisf. Boolean Model. Comput., 2014

SPEEDY: An Eclipse-based IDE for invariant inference.

David R. Cok, Scott C. Johnson

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014

OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse.

David R. Cok

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014

2013

Local versus Global Lessons for Defect Prediction and Effort Estimation.

Tim Menzies, Andrew Butcher, David R. Cok, Andrian Marcus, Lucas Layman, Forrest Shull, Burak Turhan, Thomas Zimmermann

IEEE Trans. Software Eng., 2013

Active Learning and Effort Estimation: Finding the Essential Content of Software Effort Estimation Data.

Ekrem Kocaguneli, Tim Menzies, Jacky Keung, David R. Cok, Raymond J. Madachy

IEEE Trans. Software Eng., 2013

2012

The 2012 SMT Competition.

David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2.

David R. Cok

Proceedings of the NASA Formal Methods, 2011

OpenJML: JML for Java 7 by Extending OpenJDK.

David R. Cok

Proceedings of the NASA Formal Methods, 2011

Local vs. global models for effort estimation and defect prediction.

Tim Menzies, Andrew Butcher, Andrian Marcus, Thomas Zimmermann, David R. Cok

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

PEASOUP: preventing exploits against software of uncertain provenance (position paper).

Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, David R. Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde, Brian Mastropietro

Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, 2011

2010

Improved usability and performance of SMT solvers for debugging specifications.

David R. Cok

Int. J. Softw. Tools Technol. Transf., 2010

2006

Specifying java iterators with JML and Esc/Java2.

David R. Cok

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

2005

An overview of JML tools and applications.

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll

Int. J. Softw. Tools Technol. Transf., 2005

How the design of JML accommodates both runtime assertion checking and formal verification.

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok

Sci. Comput. Program., 2005

Reasoning with specifications containing method calls and model fields.

David R. Cok

J. Object Technol., 2005

2004

ESC/Java2: Uniting ESC/Java and JML.

David R. Cok, Joseph Kiniry

Proceedings of the Construction and Analysis of Safe, 2004

2002

How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok

Proceedings of the Formal Methods for Components and Objects, 2002

1991

Detecting boundaries in a vector field.

Hsien-Che Lee, David R. Cok

IEEE Trans. Signal Process., 1991