conf.researchr.org / David Cok

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