( en | de | ru )

 

Disambiguation of "Cok, David R."

Author of the publication

copydeleteadd this publication to your clipboard
Local versus Global Lessons for Defect Prediction and Effort Estimation.

, , , , , , , and . IEEE Trans. Software Eng., 39 (6): 822-834 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David R Anderson

David R Wenger

Habib Cokro

Barbara Coki

Graeme Cokayne

 

Other publications of authors with the same name

SPEEDY: An Eclipse-based IDE for invariant inference., and . F-IDE, volume 149 of EPTCS, page 44-57. (2014)Active Learning and Effort Estimation: Finding the Essential Content of Software Effort Estimation Data., , , , and . IEEE Trans. Software Eng., 39 (8): 1040-1053 (2013)Detecting boundaries in a vector field., and . IEEE Trans. Signal Process., 39 (5): 1181-1194 (1991)Abstraction in Deductive Verification: Model Fields and Model Methods., and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 29-44. Springer, (2022)Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts., , , and . FormaliSE@ICSE, page 124-128. ACM, (2022)An overview of JML tools and applications., , , , , , , and . Int. J. Softw. Tools Technol. Transf., 7 (3): 212-232 (2005)Report on SL-COMP 2014., and . J. Satisf. Boolean Model. Comput., 9 (1): 173-186 (2014)Runtime Assertion Checking and Static Verification: Collaborative Partners., , and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 75-91. Springer, (2018)Practical Methods for Reasoning About Java 8's Functional Programming Features., and . VSTTE, volume 11294 of Lecture Notes in Computer Science, page 267-278. Springer, (2018)jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2.. NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 480-486. Springer, (2011)