Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Cok
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2021 profile
ICST 2021 profile
ICST 2024 profile
Registered user since Sat 9 Mar 2019
Name:
David Cok
Affiliation:
CEA, LIST, Software Safety and Security Laboratory
Contributions
2024
ICST
Author of Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable? within the Research Papers-track
2021
ICST
Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Research Papers-track
2018
FTfJP
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
x
Sat 21 Dec 18:05