Error propagation analysis of multithreaded programs using likely invariants
Error Propagation Analysis (EPA) is a technique for understanding how errors affect a program’s execution and result in program failures. For this purpose, EPA usually compares the traces of a fault-free (golden) run with those from a faulty run of the program. This makes existing EPA approaches...
Main Author: | |
---|---|
Language: | English |
Published: |
University of British Columbia
2017
|
Online Access: | http://hdl.handle.net/2429/62713 |