Verimag

bibtex

@inproceedings{DBF+16b,
    title = {Specification of concretization and symbolization policies in symbolic execution },
    author = {David, Robin and Bardin, Sebastien and Feist, Josselin and Mounier, Laurent and Potet, Marie-Laure and Ta, Thanh Dinh and Marion, Jean-Yves},
    year = {2016},
    booktitle = {Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbrucken, Germany, July 18-20, 2016},
    pages = {36--46},
    team = {PACSS},
}

Sections de Publications


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

info visites 915089