bibtex

@inproceedings{FMP6,
    title = {Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information },
    author = {Feist, Josselin and Mounier, Laurent and Potet, Marie-Laure},
    year = {2016},
    booktitle = {Software Engineering and Formal Methods - 14th International Conference, {SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8, 2016, Proceedings},
    pages = {76--81},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {9763},
    team = {PACSS, axe_Pacs},
}


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

info visites 3900005