16 citations · 32 across the 11 of their papers we have counts for
8 papers · 1 filter
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…
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…
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…
Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, ac…
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo +9
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of th…
Model-based Testing of the Java Network API
Cyrille Artho, Guillaume Rousset
Testing networked systems is challenging. The client or server side cannot be tested by itself. We present a solution using tool "Modbat" that generates test cases for Java's netwo…
Sources of Inter-package Conflicts in Debian
Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki +1
Inter-package conflicts require the presence of two or more packages in a particular configuration, and thus tend to be harder to detect and localize than conventional (intra-packa…