In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool …
Concept This paper is a living review on automatic program repair 1. Compared to a traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …
Debugging is an inevitable activity in most software projects, often difficult and more time- consuming than expected, giving it the nickname the" dirty little secret of computer science." …
A Reder, A Egyed - Proceedings of the 27th IEEE/ACM International …, 2012 - dl.acm.org
Resolving inconsistencies in software models is a complex task because the number of repairs grows exponentially. Existing approaches thus emphasize on selected repairs only …
Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability …
M Namavar, N Nashid, A Mesbah - Empirical Software Engineering, 2022 - Springer
Training a deep learning model on source code has gained significant traction recently. Since such models reason about vectors of numbers, source code needs to be converted to …
We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint …
S Verma, S Roy - Formal Methods in System Design, 2021 - Springer
We present Wolverine2, an integrated Debug-Localize-Repair environment for heap manipulating programs. Wolverine2 provides an interactive debugging environment: while …
Understanding the input and output of data wrangling scripts is crucial for various tasks like debugging code and onboarding new data. However, existing research on script …