Home > Research > Publications & Outputs > IPA

Research

Associated organisational units

Links

Text available via DOI:

Keywords

View graph of relations

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. / Chan, A.; Winter, S.; Saissi, H. et al.
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2017. p. 184-195.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Chan, A, Winter, S, Saissi, H, Pattabiraman, K & Suri, N 2017, IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, pp. 184-195. https://doi.org/10.1109/ICST.2017.24

APA

Chan, A., Winter, S., Saissi, H., Pattabiraman, K., & Suri, N. (2017). IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. In 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (pp. 184-195). IEEE. https://doi.org/10.1109/ICST.2017.24

Vancouver

Chan A, Winter S, Saissi H, Pattabiraman K, Suri N. IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. In 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE. 2017. p. 184-195 doi: 10.1109/ICST.2017.24

Author

Chan, A. ; Winter, S. ; Saissi, H. et al. / IPA : Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2017. pp. 184-195

Bibtex

@inproceedings{42e682607d494daa81c4682c84f97dc9,
title = "IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants",
abstract = "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 brittle for multithreaded programs, which do not typically have a deterministic golden run. In this paper, we study the use of likely invariants generated by automated approaches as alternatives for golden run based EPA in multithreaded programs. We present Invariant Propagation Analysis (IPA), an approach and a framework for automatically deriving invariants for multithreaded programs, and using the invariants for EPA. We evaluate the invariants derived by IPA in terms of their coverage for different fault types across six representative programs through fault injectionexperiments. We find that stable invariants can be inferred in allsix programs, although their coverage of faults depends on theapplication and the fault type. {\textcopyright} 2017 IEEE.",
keywords = "Concurrency, Error Propagation Analysis, Fault Injection, Multithreading, Concurrency control, Errors, Gold, Multiprocessing programs, Multitasking, Verification, Automated approach, Error propagation analysis, Fault injection, Fault types, Likely invariants, Multi-threaded programs, Multi-threading, Software testing",
author = "A. Chan and S. Winter and H. Saissi and K. Pattabiraman and Neeraj Suri",
year = "2017",
month = mar,
day = "13",
doi = "10.1109/ICST.2017.24",
language = "English",
isbn = "9781509060320",
pages = "184--195",
booktitle = "2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - IPA

T2 - Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants

AU - Chan, A.

AU - Winter, S.

AU - Saissi, H.

AU - Pattabiraman, K.

AU - Suri, Neeraj

PY - 2017/3/13

Y1 - 2017/3/13

N2 - 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 brittle for multithreaded programs, which do not typically have a deterministic golden run. In this paper, we study the use of likely invariants generated by automated approaches as alternatives for golden run based EPA in multithreaded programs. We present Invariant Propagation Analysis (IPA), an approach and a framework for automatically deriving invariants for multithreaded programs, and using the invariants for EPA. We evaluate the invariants derived by IPA in terms of their coverage for different fault types across six representative programs through fault injectionexperiments. We find that stable invariants can be inferred in allsix programs, although their coverage of faults depends on theapplication and the fault type. © 2017 IEEE.

AB - 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 brittle for multithreaded programs, which do not typically have a deterministic golden run. In this paper, we study the use of likely invariants generated by automated approaches as alternatives for golden run based EPA in multithreaded programs. We present Invariant Propagation Analysis (IPA), an approach and a framework for automatically deriving invariants for multithreaded programs, and using the invariants for EPA. We evaluate the invariants derived by IPA in terms of their coverage for different fault types across six representative programs through fault injectionexperiments. We find that stable invariants can be inferred in allsix programs, although their coverage of faults depends on theapplication and the fault type. © 2017 IEEE.

KW - Concurrency

KW - Error Propagation Analysis

KW - Fault Injection

KW - Multithreading

KW - Concurrency control

KW - Errors

KW - Gold

KW - Multiprocessing programs

KW - Multitasking

KW - Verification

KW - Automated approach

KW - Error propagation analysis

KW - Fault injection

KW - Fault types

KW - Likely invariants

KW - Multi-threaded programs

KW - Multi-threading

KW - Software testing

U2 - 10.1109/ICST.2017.24

DO - 10.1109/ICST.2017.24

M3 - Conference contribution/Paper

SN - 9781509060320

SP - 184

EP - 195

BT - 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)

PB - IEEE

ER -