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
Not registered as user yet
Name:
David Cok
Affiliation:
Safer Software Consulting, LLC
Contributions
FTfJP 2022
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 2022
Author of Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts within the FormaliSE 2022-track
FTfJP 2021
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 16 Aug 03:16