@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
}

{"_id":"cfe8fMiM5GJAwawkH","bibbaseid":"pasareanu-visser-symbolicexecutionandmodelcheckingfortesting-2007","authorIDs":[],"author_short":["Pasareanu, C. S.","Visser, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Visser"],"firstnames":["Willem"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2bbd11bdd2969d8d22034d2f33bb044c9/dblp","booktitle":"Haifa Verification Conference","crossref":"conf/hvc/2007","editor":[{"propositions":[],"lastnames":["Yorav"],"firstnames":["Karen"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/hvc/PasareanuV07,\n added-at = {2017-05-19T00:00:00.000+0200},\n author = {Pasareanu, Corina S. and Visser, Willem},\n biburl = {https://www.bibsonomy.org/bibtex/2bbd11bdd2969d8d22034d2f33bb044c9/dblp},\n booktitle = {Haifa Verification Conference},\n crossref = {conf/hvc/2007},\n editor = {Yorav, Karen},\n ee = {https://doi.org/10.1007/978-3-540-77966-7_5},\n interhash = {e47afc64d2df91bb1f5ab1df79c7ed52},\n intrahash = {bbd11bdd2969d8d22034d2f33bb044c9},\n isbn = {978-3-540-77964-3},\n keywords = {dblp},\n pages = {17-18},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T16:06:33.000+0200},\n title = {Symbolic Execution and Model Checking for Testing.},\n url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#PasareanuV07},\n volume = 4899,\n year = 2007\n}\n\n","author_short":["Pasareanu, C. S.","Visser, W."],"editor_short":["Yorav, K."],"key":"conf/hvc/PasareanuV07","id":"conf/hvc/PasareanuV07","bibbaseid":"pasareanu-visser-symbolicexecutionandmodelcheckingfortesting-2007","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-540-77966-7_5","Paper":"http://dblp.uni-trier.de/db/conf/hvc/hvc2007.html#PasareanuV07"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.318Z","downloads":0,"keywords":["dblp"],"search_terms":["symbolic","execution","model","checking","testing","pasareanu","visser"],"title":"Symbolic Execution and Model Checking for Testing.","year":2007,"dataSources":["nk4Sfi2ddzBtdLpRN"]}