2 Hits in 2.5 sec

JFIX: semantics-based repair of Java programs via symbolic PathFinder

Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017  
JFix is implemented atop Symbolic PathFinder, a well-known symbolic execution engine for Java programs.  ...  We demonstrate that semantics-based APR can indeed efficiently and effectively repair a variety of classes of bugs in large real-world Java programs.  ...  We demonstrate JFix, a repair framework and an associated Eclipse plugin that bring the strength of semantics-based APR approach to repair Java programs.  ... 
doi:10.1145/3092703.3098225 dblp:conf/issta/LeCLGV17 fatcat:ozy3ijyiqremlnpixi27io7z7e

Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg

Matias Martinez, Martin Monperrus
2019 Journal of Systems and Software  
The implementations of the repair approaches built over Astor are capable of repair, in total, 98 real bugs from 5 large Java programs.  ...  Each of those repair approaches is a point in the design space of program repair.  ...  Jfix: Semantics-based repair of java programs via symbolic pathfinder.  ... 
doi:10.1016/j.jss.2019.01.069 fatcat:tau7eocfdngctltavr72eksk64