Concepedia

David R. Cok

DR

Statistics

Publications

27

Citations

2.5K

H-Index

20

Active since

1979

Affiliations

GrammaTech (United States)(Current)

Kodak (United States)

Carestream (United States)

Microsoft (United States)

Iowa State University

David R. Cok is an author at GrammaTech (United States) specializing in computer science, computing, and programming languages.

ORCID

Publications per year

1979–2022

27

Publications

27

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · International Journal on Software Tools for Technology Transfer · 2004 · 713 citations

, , +11

Local versus Global Lessons for Defect Prediction and Effort Estimation

Tim Menzies, Andrew Butcher, David R. Cok et al. · IEEE Transactions on Software Engineering · 2013 · 262 citations

, , +12

An overview of JML tools and applications1 1www.jmlspecs.org

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · Electronic Notes in Theoretical Computer Science · 2003 · 205 citations · Full text

, , +15

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

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton et al. · Science of Computer Programming · 2004 · 191 citations

, , +11

Local vs. global models for effort estimation and defect prediction

Tim Menzies, Andrew Butcher, Andrian Marcus et al. · 2011 · 171 citations

, , +15

1–5 of 27