13 citations · 25 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 8 cited
Error Propagation Analysis for Multithreaded Programs: An Empirical Approach
Stefan Winter, Abraham Chan, Habib Saissi +2
Fault injection is a technique to measure the robustness of a program to errors by introducing faults into the program under test. Following a fault injection experiment, Error Pro…
eess.SY2023
Specifying Autonomous System Behaviour
Andrew Sogokon, Burak Yuksek, Gokhan Inalhan +1
Specifying the intended behaviour of autonomous systems is becoming increasingly important but is fraught with many challenges. This technical report provides an overview of existi…