scholarly journals Model and program repair via SAT solving

2015 ◽  
Author(s):  
Paul Attie ◽  
Ali Cherri ◽  
Kinan Dak Al Bab ◽  
Mohamad Sakr ◽  
Jad Saklawi
Keyword(s):  
Sat Solving ◽  
Program Repair

scholarly journals Model and Program Repair via SAT Solving

2018 ◽  
Vol 17 (2) ◽  
pp. 1-25 ◽  
Author(s):  
Paul C. Attie ◽  
Kinan Dak Al Bab ◽  
Mouhammad Sakr
Keyword(s):  
Sat Solving ◽  
Program Repair

scholarly journals Automated clustering and program repair for introductory programming assignments

2018 ◽  
Vol 53 (4) ◽  
pp. 465-480 ◽  
Author(s):  
Sumit Gulwani ◽  
Ivan Radiček ◽  
Florian Zuleger
Keyword(s):  
Introductory Programming ◽  
Program Repair

What changes in where?

2021 ◽  
Vol 20 (4) ◽  
pp. 18-34
Author(s):  
Md Rakibul Islam ◽  
Minhaz F. Zibran
Keyword(s):  
Qualitative Analysis ◽  
Deep Understanding ◽  
Software Systems ◽  
Bug Localization ◽  
Bug Fixing ◽  
Program Repair ◽  
The Common

A deep understanding of the common patterns of bug-fixing changes is useful in several ways: (a) such knowledge can help developers in proactively avoiding coding patterns that lead to bugs and (b) bug-fixing patterns are exploited in devising techniques for automatic bug localization and program repair. This work includes an in-depth quantitative and qualitative analysis over 4,653 buggy revisions of five software systems. Our study identifies 38 bug-fixing edit patterns and discovers 37 new patterns of nested code structures, which frequently host the bug-fixing edits. While some of the edit patterns were reported in earlier studies, these nesting patterns are new and were never targeted before.

A Novel Approach For Search-Based Program Repair

IEEE Software ◽  
2021 ◽  
pp. 0-0
Author(s):  
Leonardo Trujillo ◽  
Omar M. Villanueva ◽  
Daniel E. Hernandez
Keyword(s):  
Novel Approach ◽  
Program Repair
Sign in / Sign up

Export Citation Format

Share Document