16 citations · 32 across the 11 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
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…
cs.SE2024
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…