ICST 2023
Sun 16 - Thu 20 April 2023
Dublin, Ireland
Toggle navigation
Attending
Venue: Dublin, Ireland
Venue: Clayton Hotel Cardiff Lane
Equity, Diversity and Inclusion Plan
Code of Conduct
Registration
Student Volunteers
Visa Information
Sponsorship Opportunities
Program
ICST Program
Your Program
Schedule Overview
Social Events
Sun 16 Apr
Mon 17 Apr
Tue 18 Apr
Wed 19 Apr
Thu 20 Apr
Tracks
ICST 2023
Research Papers
Industry
Journal-First Papers
Testing Tools
Tool Demo
Doctoral Symposium
Workshops
Keynotes
MIPs
Posters
Previous Editions
Workshops
A-MOST
AIST
CCIW
CoAST
INTUITESTBEDS
ITEQS
IWCT
InSTA
Mutation
NEXTA
TestEd
Organization
ICST 2023 Committees
Organizing Committee
Steering Committee
Student Volunteers
Track Committees
Research Papers
Program Committee Chairs
Program Committee
Industry
Journal-First Papers
Testing Tools
Tool Demo
Doctoral Symposium
Program Committee
Panel
Workshops
Posters
Contributors
People Index
Workshops
A-MOST
Organizing Committee
Program Committee
AIST
Organizing Committee
Steering Committee
Program Committee
CCIW
Organizing Committee
Program Committee
CoAST
Organizing Committee
Program Committee
INTUITESTBEDS
Organizing Committee
Program Committee
Steering Committee
ITEQS
Organizing Committee
Program Committee
IWCT
Program Committee
Steering Committee
Competition Committee
InSTA
Organizing Committee
Program Committee
Mutation
Organizing Committee
Program Committee
NEXTA
Organizing Committee
Program Committee
TestEd
Organizing Committee
Program Committee
Search
Series
Series
ICST 2025
ICST 2024
ICST 2023
ICST 2022
ICST 2021
ICST 2020
Sign in
Sign up
ICST 2023
(
series
) /
David Cok
ICST 2023 profile
conf.research.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2021 profile
ICSE 2022 profile
Not registered as user
Name:
David Cok
Affiliation:
Safer Software Consulting, LLC
Contributions
2023
ICST
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods
Show activities from other conferences
Share
ICST 2023-profile
View general profile
x
Sun 27 Apr 14:39