Test Overfitting: Challenges, Approaches and Measurements
Dynamic automated program repair (APR) techniques have promising results, which use test suites for bug localization and evaluating candidate patches. Several studies have shown that generated patches by dynamic APR tools that pass its test suite do not always correctly implement the program’s expected behavior, which is known as test overfitting. My research aims to provide fresh insight into the test overfitting problem by using formal methods.
Tue 19 OctDisplayed time zone: Central Time (US & Canada) change
15:40 - 17:00
Doctoral symposium paper
|Test Overfitting: Challenges, Approaches and MeasurementsVirtual|
Amirfarhad Nilizadeh University of Central Florida