David R. Cok

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