Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
Towards a Fault-Injection Benchmarking Suite
Tianhao Wang, Robin Thunig, Horst Schirmeier
Soft errors in memories and logic circuits are known to disturb program execution. In this context, the research community has been proposing a plethora of fault-tolerance (FT) sol…
cs.SE2020
Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing
Alexander Lochmann, Robin Thunig, Horst Schirmeier
LockDoc is an approach to extract locking rules for kernel data structures from a dynamic execution trace recorded while the system is under a benchmark load. These locking rules c…