David Cok -

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