( en | de | ru )

 

Disambiguation of "Cok, David R."

Author of the publication

copydeleteadd this publication to your clipboard
An overview of JML tools and applications.

, , , , , , , and . FMICS, volume 80 of Electronic Notes in Theoretical Computer Science, page 75-91. Elsevier, (2003)

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

Detecting boundaries in a vector field., and . IEEE Trans. Signal Process., 39 (5): 1181-1194 (1991)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)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)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)An overview of JML tools and applications., , , , , , , and . Int. J. Softw. Tools Technol. Transf., 7 (3): 212-232 (2005)Improved usability and performance of SMT solvers for debugging specifications.. Int. J. Softw. Tools Technol. Transf., 12 (6): 467-481 (2010)