D. Cok

发表

An overview of JML tools and applications

Michael D. Ernst, Gary T. Leavens, K. Rustan M. Leino, 2003, International Journal on Software Tools for Technology Transfer.

Avoiding Overﬁtting in Automated Program Repair using Formal Methods

Gary T. Leavens, Xuan-Bach D. Le, C. Pasareanu, 2020 .

Hyperfine structure of the X 2Sigma + ground state of Ca 35Cl and Ca 37Cl by molecular-beam, laser-rf double resonance

W. J. Childs, D. Cok, L. Goodman, 1982 .

Investigation of Unresolved hfs Splittings in the B 2 Σ State of CaCl with Use of rf-Pumped-Laser Double-Resonance Spectroscopy

W. J. Childs, D. Cok, L. Goodman, 1981 .

Hyperfine and spin–rotational structure of CaBr X 2Σ (v = 0) by molecular‐beam laser‐rf double resonance

W. J. Childs, D. Cok, L. Goodman, 1981 .

Detecting boundaries in a vector field

Hsien-Che Lee, David R. Cok, Hsien-Che Lee, 1991, IEEE Trans. Signal Process..

Version 4 retrievals for the atmospheric chemistry experiment Fourier transform spectrometer (ACE-FTS) and imagers

Peter F. Bernath, Scott Jones, C. D. Boone, 2020, Journal of Quantitative Spectroscopy and Radiative Transfer.

Magnetic and electric fine structure in helium Rydberg states

D. Cok, S. Lundeen, 1979 .

Erratum: Hyperfine structure of the X 2Σ+ ground state of Ca 35Cl and Ca 37Cl by molecular‐beam, laser‐rf double resonance [ J. Chem. Phys. 76, 3993 (1982)]

W. J. Childs, D. Cok, L. Goodman, 1984 .

On the perturbations of a close-Earth satellite due to lunar inequalities

D. Cok, 1977 .

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

Gary T. Leavens, Corina S. Pasareanu, David R. Cok, 2021, 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).

Local versus Global Lessons for Defect Prediction and Effort Estimation

Forrest Shull, Burak Turhan, Lucas Layman, 2013, IEEE Transactions on Software Engineering.

Local vs. global models for effort estimation and defect prediction

Tim Menzies, Thomas Zimmermann, Andrian Marcus, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

OpenJML: JML for Java 7 by Extending OpenJDK

David R. Cok, D. Cok, 2011, NASA Formal Methods.

Inferring Concise Specifications of APIs pdf

Gary T. Leavens, Hridesh Rajan, David R. Cok, 2019, ArXiv.

Active learning and effort estimation: Finding the essential content of software effort estimation data

Tim Menzies, Raymond J. Madachy, Jacky W. Keung, 2013, IEEE Transactions on Software Engineering.

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

G. Leavens, D. Cok, Amirfarhad Nilizadeh, 2022, 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE).

Improved usability and performance of SMT solvers for debugging specifications

David R. Cok, D. Cok, 2010, International Journal on Software Tools for Technology Transfer.

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

Gary T. Leavens, David R. Cok, Yoonsik Cheon, 2003, Sci. Comput. Program..

The 2012 SMT Competition

Roberto Bruttomesso, Alberto Griggio, David R. Cok, 2013, SMT@IJCAR.

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

Gary T. Leavens, David R. Cok, Yoonsik Cheon, 2002, FMCO.

ESC/Java2: Uniting ESC/Java and JML

David R. Cok, Joseph Kiniry, D. Cok, 2004, CASSIS.

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

David R. Cok, D. Cok, 2014, F-IDE.

Runtime Assertion Checking and Static Verification: Collaborative Partners

Julien Signoles, David R. Cok, Fonenantsoa Maurica, 2018, ISoLA.

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

David R. Cok, D. Cok, 2018, ISoLA.

Reasoning with specifications containing method calls in JML and first-order provers

David R. Cok, D. Cok, 2007 .

Reasoning with specifications containing method calls and model fields

David R. Cok, D. Cok, 2005, J. Object Technol..

Erratum: Magnetic and electric fine structure in helium Rydberg states

D. Cok, S. Lundeen, 1981 .

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

David R. Cok, D. Cok, 2011, NASA Formal Methods.

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

Serdar Tasiran, David R. Cok, S. Tasiran, 2018, VSTTE.

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

D. Cok, 2022, FTfJP@ECOOP.

Reasoning about functional programming in Java and C++

David R. Cok, D. Cok, 2018, ISSTA/ECOOP Workshops.

SPEEDY: An Eclipse-based IDE for invariant inference

David R. Cok, Scott C. Johnson, D. Cok, 2014, F-IDE.

ESC/Java2 Implementation Notes

Dermot Cochran, David R. Cok, Joseph R. Kiniry, 2008 .

Automated Reasoning Repair

Gary T. Leavens, D. Cok, Amirfarhad Nilizadeh, 2022, FTfJP@ECOOP.

ESC / Java 2 : Uniting ESC / Java and JML Progress and issues in building and using ESC / Java 2

D. Cok, J. Kiniry, 2004 .