Incremental Formula-Based Fix Localization

Incremental Formula-Based Fix Localization

Automatically fixing bugs in software programs can significantly reduce the cost and improve the productivity of the software. Toward this goal, a critical and challenging problem is <i>automatic fix localization,</i> which identifies program locations where a bug fix can be synthesized....

Full description

Bibliographic Details
Main Authors: Quang-Ngoc Phung, Eunseok Lee
Format: Article
Language:English
Published: MDPI AG 2021-12-01
Series:Applied Sciences
Subjects:
automatic fix localization
debugging
angelic value
maximum satisfiability
concolic execution
Online Access:https://www.mdpi.com/2076-3417/11/1/303

Internet

https://www.mdpi.com/2076-3417/11/1/303

Similar Items