%0 Conference Paper %1 conf/cav/GaneshKAGHE11 %A Ganesh, Vijay %A Kiezun, Adam %A Artzi, Shay %A Guo, Philip J. %A Hooimeijer, Pieter %A Ernst, Michael D. %B CAV %D 2011 %E Gopalakrishnan, Ganesh %E Qadeer, Shaz %I Springer %K dblp %P 1-19 %T HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. %U http://dblp.uni-trier.de/db/conf/cav/cav2011.html#GaneshKAGHE11 %V 6806 %@ 978-3-642-22109-5

@inproceedings{conf/cav/GaneshKAGHE11, added-at = {2024-06-27T00:00:00.000+0200}, author = {Ganesh, Vijay and Kiezun, Adam and Artzi, Shay and Guo, Philip J. and Hooimeijer, Pieter and Ernst, Michael D.}, biburl = {https://www.bibsonomy.org/bibtex/28c76034bdf53b14154bcfe1c5e09343b/dblp}, booktitle = {CAV}, crossref = {conf/cav/2011}, editor = {Gopalakrishnan, Ganesh and Qadeer, Shaz}, ee = {https://doi.org/10.1007/978-3-642-22110-1_1}, interhash = {a5b352650f25a4313ccd63d1295a7e9d}, intrahash = {8c76034bdf53b14154bcfe1c5e09343b}, isbn = {978-3-642-22109-5}, keywords = {dblp}, pages = {1-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-07-01T07:17:06.000+0200}, title = {HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2011.html#GaneshKAGHE11}, volume = 6806, year = 2011 }