Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Cok
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2021 profile
ICSE 2022 profile
ICST 2021 profile
ICST 2023 profile
ICST 2024 profile
Registered user since Sat 9 Mar 2019
Name:
David Cok
Affiliation:
Safer Software Consulting, LLC
Contributions
2024
ICST
Author of Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable? within the Research Papers-track
2023
ICST
Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Previous Editions-track
2022
FTfJP
Author of Automated Reasoning Repair within the FTfJP-track
Committee Member in Program Committee within the FTfJP-track
Author of Documentation and Educational Materials for a 2nd edition of the Java Modeling Language within the FTfJP-track
FormaliSE
Author of Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts within the FormaliSE 2022-track
2021
FTfJP
Presenter of JML and OpenJML for Java 16 within the FTfJP-track
Organizing Chair in Program Committee Chair within the FTfJP-track
ICST
Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Research Papers-track
2018
FTfJP
Author of Reasoning about Functional Programming in Java and C++ within the FTfJP-track
Author of Specification Idioms from Industrial Experience within the FTfJP-track
Share
x
Tue 21 Apr 08:20