Poracle: Testing Patches under Preservation Conditions to Combat the Overfitting Problem of Program Repair.
Elkhan IsmayilzadaMd Mazba Ur RahmanDongsun KimJooyong YiPublished in: ACM Trans. Softw. Eng. Methodol. (2024)
Keyphrases
- test cases
- symbolic execution
- sufficient conditions
- execution paths
- image patches
- search based software testing
- concurrent programs
- cross validation
- natural images
- object oriented
- digital objects
- program execution
- decision trees
- image processing
- artificial intelligence
- database systems
- real time
- software testing
- programming environment
- control program
- set of test cases
- learning algorithm