• Sign in
  • Sign up
conf.researchr.org / David Cok
  • 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
xTue 16 Aug 03:16
using conf.researchr.org (v1.56.0)
Support page
Sign Up