Inproceedings,
Symbolic execution of programs with strings.
G. Redelinghuys, W. Visser, and J. Geldenhuys.SAICSIT, page 139-148. ACM, (2012)
Meta data
- BibTeX key
- conf/saicsit/RedelinghuysVG12
- entry type
- inproceedings
- booktitle
- SAICSIT
- year
- 2012
- pages
- 139-148
- publisher
- ACM
- crossref
- conf/saicsit/2012
- ee
- http://doi.acm.org/10.1145/2389836.2389853
- isbn
- 978-1-4503-1308-7
- url
- http://dblp.uni-trier.de/db/conf/saicsit/saicsit2012.html#RedelinghuysVG12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/saicsit/RedelinghuysVG12
%A Redelinghuys, Gideon
%A Visser, Willem
%A Geldenhuys, Jaco
%B SAICSIT
%D 2012
%E Kroeze, Jan H.
%E de Villiers, Ruth
%I ACM
%K dblp
%P 139-148
%T Symbolic execution of programs with strings.
%U http://dblp.uni-trier.de/db/conf/saicsit/saicsit2012.html#RedelinghuysVG12
%@ 978-1-4503-1308-7
@inproceedings{conf/saicsit/RedelinghuysVG12,
added-at = {2016-10-04T00:00:00.000+0200},
author = {Redelinghuys, Gideon and Visser, Willem and Geldenhuys, Jaco},
biburl = {https://www.bibsonomy.org/bibtex/262d2cf67724b18281c688987dbcd2f6f/dblp},
booktitle = {SAICSIT},
crossref = {conf/saicsit/2012},
editor = {Kroeze, Jan H. and de Villiers, Ruth},
ee = {http://doi.acm.org/10.1145/2389836.2389853},
interhash = {cab79298483caa63d9b130207b607792},
intrahash = {62d2cf67724b18281c688987dbcd2f6f},
isbn = {978-1-4503-1308-7},
keywords = {dblp},
pages = {139-148},
publisher = {ACM},
timestamp = {2016-10-05T11:36:19.000+0200},
title = {Symbolic execution of programs with strings.},
url = {http://dblp.uni-trier.de/db/conf/saicsit/saicsit2012.html#RedelinghuysVG12},
year = 2012
}