118 citations · 167 across the 15 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.SE2017
Identifying Patch Correctness in Test-Based Program Repair
Yingfei Xiong, Xinyuan Liu, Muhan Zeng +2
Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing…
cs.SE2017★ 1 cited
Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J
Jiajun Jiang, Yingfei Xiong
Automated program repair techniques, which target to generating correct patches for real world defects automatically, have gained a lot of attention in the last decade. Many differ…
cs.SE2017
Faster Mutation Analysis via Equivalence Modulo States
Bo Wang, Yingfei Xiong, Yangqingwei Shi +2
Mutation analysis has many applications, such as asserting the quality of test suites and localizing faults. One important bottleneck of mutation analysis is scalability. The lates…