Tag Archives: Abraham

November 27, 2016 · 9:15 pm

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

Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman and Neeraj Suri. Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017. (Acceptance Rate: 27%) [PDF | Talk]
Continue reading →

Comments Off on IPA: Error Propagation Analysis of Multi-threaded Programs Using Likely Invariants

Filed under papers

Tagged as , , , ,