Cited By
View all- Maes-Bermejo MSerebrenik AGallego MGortázar FRobles GGonzález Barahona J(2024)Hunting bugs: Towards an automated approach to identifying which change caused a bug through regression testingEmpirical Software Engineering10.1007/s10664-024-10479-z29:3Online publication date: 4-May-2024
- Zhang QWang JXu GKim MFalsafi BFerdman MLu SWenisch T(2022)HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repairProceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3503222.3507748(1017-1029)Online publication date: 28-Feb-2022
- Shi LWang YAlur RLoo B(2022)Automatic Repair for Network ProgramsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-030-99527-0_19(353-372)Online publication date: 30-Mar-2022
- Show More Cited By