@inproceedings{SM3,
title = {Predictive Taint Analysis for Extended Testing of Parallel Executions },
author = {Sifakis, Emmanuel and Mounier, Laurent},
year = {2013},
booktitle = {Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference},
address = {Haifa (Israel)},
pages = {129-144},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8244},
team = {DCS, PACSS, axe_Pacs},
}
