Inproceedings,
EXE: automatically generating inputs of death.
C. Cadar, V. Ganesh, P. Pawlowski, D. Dill, and D. Engler.CCS, page 322-335. ACM, (2006)
Meta data
- BibTeX key
- conf/ccs/CadarGPDE06
- entry type
- inproceedings
- booktitle
- CCS
- year
- 2006
- pages
- 322-335
- publisher
- ACM
- crossref
- conf/ccs/2006usa
- ee
- https://doi.org/10.1145/1180405.1180445
- url
- http://dblp.uni-trier.de/db/conf/ccs/ccs2006usa.html#CadarGPDE06
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ccs/CadarGPDE06
%A Cadar, Cristian
%A Ganesh, Vijay
%A Pawlowski, Peter M.
%A Dill, David L.
%A Engler, Dawson R.
%B CCS
%D 2006
%E Juels, Ari
%E Wright, Rebecca N.
%E di Vimercati, Sabrina De Capitani
%I ACM
%K dblp
%P 322-335
%T EXE: automatically generating inputs of death.
%U http://dblp.uni-trier.de/db/conf/ccs/ccs2006usa.html#CadarGPDE06
@inproceedings{conf/ccs/CadarGPDE06,
added-at = {2022-01-03T00:00:00.000+0100},
author = {Cadar, Cristian and Ganesh, Vijay and Pawlowski, Peter M. and Dill, David L. and Engler, Dawson R.},
biburl = {https://www.bibsonomy.org/bibtex/29e749a2ea5a1b1062a4f8d0b501a2f73/dblp},
booktitle = {CCS},
crossref = {conf/ccs/2006usa},
editor = {Juels, Ari and Wright, Rebecca N. and di Vimercati, Sabrina De Capitani},
ee = {https://doi.org/10.1145/1180405.1180445},
interhash = {a6e9c9e26d16056a40264caaf79acf84},
intrahash = {9e749a2ea5a1b1062a4f8d0b501a2f73},
keywords = {dblp},
pages = {322-335},
publisher = {ACM},
timestamp = {2024-04-09T10:14:19.000+0200},
title = {EXE: automatically generating inputs of death.},
url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2006usa.html#CadarGPDE06},
year = 2006
}