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

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874399