( en | de | ru )

 

Disambiguierung von "Cok, David R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ESC/Java2: Uniting ESC/Java and JML.

, und . CASSIS, Volume 3362 von Lecture Notes in Computer Science, Seite 108-128. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

David R Anderson

David R Wenger

Habib Cokro

Barbara Coki

Graeme Cokayne

 

Weitere Publikationen von Autoren mit dem selben Namen

Practical Methods for Reasoning About Java 8's Functional Programming Features., und . VSTTE, Volume 11294 von Lecture Notes in Computer Science, Seite 267-278. Springer, (2018)Runtime Assertion Checking and Static Verification: Collaborative Partners., , und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 75-91. Springer, (2018)SPEEDY: An Eclipse-based IDE for invariant inference., und . F-IDE, Volume 149 von EPTCS, Seite 44-57. (2014)Abstraction in Deductive Verification: Model Fields and Model Methods., und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 29-44. Springer, (2022)Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts., , , und . FormaliSE@ICSE, Seite 124-128. ACM, (2022)Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs., , und . J. Object Technol., 23 (2): 2 (2024)jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2.. NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 480-486. Springer, (2011)Specifying the Boundary Between Unverified and Verified Code., und . The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 105-128. Springer, (2022)Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods., , , , und . ICST, Seite 229-240. IEEE, (2021)JML and OpenJML for Java 16.. FTfJP@ECOOP, Seite 65-67. ACM, (2021)