bibtex

@inproceedings{SST,
    title = { },
    team = {PACSS},
    ??itle = {Specification of concretization and symbolization policies in symbolic execution}, ??uthor = {David, Robin and Bardin, Sebastien and Feist, Josselin and Mounier, Laurent and Potet, Marie-Laure and Ta, Thanh Dinh and Marion, Jean-Yves}, ??ooktitle = {Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbrucken, Germany, July 18-20, 2016}, ??ages = {36--46}, ??eam = {PACSS}, ??ear = {2016},
}

Publication Sections


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

info visites 1198518