• Sign in
  • Sign up
conf.researchr.org / David Cok
  • ECOOP and ISSTA 2018 profile
  • ECOOP and ISSTA 2021 profile
  • ICST 2021 profile

Registered user since Sat 9 Mar 2019

Name:David Cok
Affiliation:CEA, LIST, Software Safety and Security Laboratory

Contributions

ICST 2021 Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Research Papers-track
FTfJP 2018 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
xFri 9 Jun 03:31
using conf.researchr.org (v1.60.0)
Support page
Sign Up