2013 35th International Conference on Software Engineering (ICSE)· 2013

SemFix: Program repair via semantic analysis

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra

386citations
2013year

Short summary

SemFix automatically repairs software bugs by using symbolic execution, constraint solving, and program synthesis to generate fixes that pass given tests.

AI-generated from the title and abstract; the full text is not read.

TakeawaysIn the app

Key pointsIn the app

Ask the paperIn the app

The rest is in the Pofolia app

Takeaways, key points and questions to the paper; new summaries every day for your field. Free.

Get it on Google Play Download on the App Store

Field: Software

SoftwareComputer Science