%0 Conference Paper %1 conf/hvc/PasareanuV07 %A Pasareanu, Corina S. %A Visser, Willem %B Haifa Verification Conference %D 2007 %E Yorav, Karen %I Springer %K dblp %P 17-18 %T Symbolic Execution and Model Checking for Testing. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#PasareanuV07 %V 4899 %@ 978-3-540-77964-3

@inproceedings{conf/hvc/PasareanuV07, added-at = {2017-05-19T00:00:00.000+0200}, author = {Pasareanu, Corina S. and Visser, Willem}, biburl = {https://www.bibsonomy.org/bibtex/2bbd11bdd2969d8d22034d2f33bb044c9/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2007}, editor = {Yorav, Karen}, ee = {https://doi.org/10.1007/978-3-540-77966-7_5}, interhash = {e47afc64d2df91bb1f5ab1df79c7ed52}, intrahash = {bbd11bdd2969d8d22034d2f33bb044c9}, isbn = {978-3-540-77964-3}, keywords = {dblp}, pages = {17-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:33.000+0200}, title = {Symbolic Execution and Model Checking for Testing.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#PasareanuV07}, volume = 4899, year = 2007 }