bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4096076