Resilience evaluation via symbolic fault injection on intermediate code
The work
| Authors | Hoang M. Le; Vladimir Herdt; Daniel Grose; Rolf Drechsler |
|---|---|
| Editors | |
| Type | misc |
| Year | 2018 |
| Citekey | le2018resilience |
Where it appeared
| Published in | Design, Automation, and Test in Europe |
|---|---|
| Pages | 845--850 |
Identifiers
| DOI | 10.23919/date.2018.8342123 |
|---|---|
| OpenAlex | W2798322768 |
Access
| Landing page | https://doi.org/10.23919/date.2018.8342123 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
There is a growing need for error-resilient software that can tolerate hardware faults as well as for new resilience evaluation techniques. For the latter, a promising direction is to apply formal techniques in fault injection-based evaluations to improve the coverage of evaluation results. Building on the recent development of Software-implemented Fault Injection (SWiFI) techniques on compiler's intermediate code, this paper proposes a novel resilience evaluation framework combining LLVM-based SWiFI and SMT-based symbolic execution. This novel combination offers significant advantages over state-of-the-art approaches with respect to accuracy and coverage.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 14:31 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{le2018resilience,
title = {Resilience evaluation via symbolic fault injection on intermediate code},
author = {Hoang M. Le and Vladimir Herdt and Daniel Grose and Rolf Drechsler},
year = {2018},
journal = {Design, Automation, and Test in Europe},
pages = {845--850},
doi = {10.23919/date.2018.8342123},
}
This record lives at https://refs.drheap.org/le2018resilience/ and will keep doing so.