@inproceedings{conf/vstte/DaviesPR12,
  added-at = {2017-06-05T00:00:00.000+0200},
  author = {Davies, Misty and Pasareanu, Corina S. and Raman, Vishwanath},
  biburl = {https://www.bibsonomy.org/bibtex/2d43b627f8aa6ce1b71bf4d12717201f9/dblp},
  booktitle = {VSTTE},
  crossref = {conf/vstte/2012},
  editor = {Joshi, Rajeev and Müller, Peter and Podelski, Andreas},
  ee = {https://doi.org/10.1007/978-3-642-27705-4_23},
  interhash = {7697c311695ce0456e722e8855173bbf},
  intrahash = {d43b627f8aa6ce1b71bf4d12717201f9},
  isbn = {978-3-642-27704-7},
  keywords = {dblp},
  pages = {294-309},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T17:25:02.000+0200},
  title = {Symbolic Execution Enhanced System Testing.},
  url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2012.html#DaviesPR12},
  volume = 7152,
  year = 2012
}

{"_id":"Q5NKyE8nvbg7KBAuK","bibbaseid":"davies-pasareanu-raman-symbolicexecutionenhancedsystemtesting-2012","authorIDs":[],"author_short":["Davies, M.","Pasareanu, C. S.","Raman, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-06-05T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Davies"],"firstnames":["Misty"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Raman"],"firstnames":["Vishwanath"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2d43b627f8aa6ce1b71bf4d12717201f9/dblp","booktitle":"VSTTE","crossref":"conf/vstte/2012","editor":[{"propositions":[],"lastnames":["Joshi"],"firstnames":["Rajeev"],"suffixes":[]},{"propositions":[],"lastnames":["Müller"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Podelski"],"firstnames":["Andreas"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-642-27705-4_23","interhash":"7697c311695ce0456e722e8855173bbf","intrahash":"d43b627f8aa6ce1b71bf4d12717201f9","isbn":"978-3-642-27704-7","keywords":"dblp","pages":"294-309","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T17:25:02.000+0200","title":"Symbolic Execution Enhanced System Testing.","url":"http://dblp.uni-trier.de/db/conf/vstte/vstte2012.html#DaviesPR12","volume":"7152","year":"2012","bibtex":"@inproceedings{conf/vstte/DaviesPR12,\n added-at = {2017-06-05T00:00:00.000+0200},\n author = {Davies, Misty and Pasareanu, Corina S. and Raman, Vishwanath},\n biburl = {https://www.bibsonomy.org/bibtex/2d43b627f8aa6ce1b71bf4d12717201f9/dblp},\n booktitle = {VSTTE},\n crossref = {conf/vstte/2012},\n editor = {Joshi, Rajeev and Müller, Peter and Podelski, Andreas},\n ee = {https://doi.org/10.1007/978-3-642-27705-4_23},\n interhash = {7697c311695ce0456e722e8855173bbf},\n intrahash = {d43b627f8aa6ce1b71bf4d12717201f9},\n isbn = {978-3-642-27704-7},\n keywords = {dblp},\n pages = {294-309},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T17:25:02.000+0200},\n title = {Symbolic Execution Enhanced System Testing.},\n url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2012.html#DaviesPR12},\n volume = 7152,\n year = 2012\n}\n\n","author_short":["Davies, M.","Pasareanu, C. S.","Raman, V."],"editor_short":["Joshi, R.","Müller, P.","Podelski, A."],"key":"conf/vstte/DaviesPR12","id":"conf/vstte/DaviesPR12","bibbaseid":"davies-pasareanu-raman-symbolicexecutionenhancedsystemtesting-2012","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-27705-4_23","Paper":"http://dblp.uni-trier.de/db/conf/vstte/vstte2012.html#DaviesPR12"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.269Z","downloads":0,"keywords":["dblp"],"search_terms":["symbolic","execution","enhanced","system","testing","davies","pasareanu","raman"],"title":"Symbolic Execution Enhanced System Testing.","year":2012,"dataSources":["nk4Sfi2ddzBtdLpRN"]}