4 papers
PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software
Han Fu, Andreas Ermedahl, Sigrid Eldh +3
Continuous Integration (CI) pipelines for embedded software sometimes fail during compilation, consuming significant developer time for debugging. We study four major open-source e…
Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code
Han Fu, Sigrid Eldh, Kristian Wiklund +3
The co-development of hardware and software in industrial embedded systems frequently leads to compilation errors during continuous integration (CI). Automated repair of such failu…
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
Ye Liu, Yixuan Liu, Yi Li +1
Smart contracts are computer programs running on blockchains to implement Decentralized Applications. The absence of contract specifications hinders routine tasks, such as contract…
In industrial embedded software, are some compilation errors easier to localize and fix than others?
Han Fu, Sigrid Eldh, Kristian Wiklund +3
Industrial embedded systems often require specialized hardware. However, software engineers have access to such domain-specific hardware only at the continuous integration (CI) sta…