Presentation: SymDefFix -- Sound Automatic Repair Using Symbolic Execution
Tareq Mohammed Nazir, Martin Pinzger
TL;DR
SymDefFix is a novel symbolic execution-based method for automatic program repair, improving upon ExtractFix by replacing dynamic analysis with symbolic execution to identify errors and fix locations.
Contribution
The paper introduces SymDefFix, a new symbolic execution approach that enhances existing repair techniques by replacing dynamic analysis steps with symbolic execution.
Findings
Successfully detects errors using symbolic execution
Identifies potential fix locations more efficiently
Builds on and modifies the ExtractFix framework
Abstract
In this presentation, we introduce our constraint-based repair approach, called SymDefFix. SymDefFix is based on ExtractFix [3] and replaces the dynamic analysis steps of ExtractFix to detect the error and find the potential fix locations in an input program with symbolic execution. We first briefly motivate and introduce our modifications of ExtractFix, and then demonstrate it with an example.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Engineering Research · Parallel Computing and Optimization Techniques · Radiation Effects in Electronics