@inproceedings{chan2017ipa, title={Ipa: Error propagation analysis of multi-threaded programs using likely invariants}, author={Chan, Abraham and Winter, Stefan and Saissi, Habib and Pattabiraman, Karthik and Suri, Neeraj}, booktitle={2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)}, pages={184--195}, year={2017}, organization={IEEE} }