Verimag

bibtex

@inproceedings{SM13,
    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},
}

Publication Sections


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

info visites 817988