Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Cok
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2021 profile
ICSE 2022 profile
ICST 2023 profile
Not registered as user yet
Name:
David Cok
Affiliation:
Safer Software Consulting, LLC
Contributions
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
Share
x
Tue 3 Dec 17:54