@inproceedings{conf/issta/PasareanuMBGLPP08,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Pasareanu, Corina S. and Mehlitz, Peter C. and Bushnell, David H. and Gundy-Burlet, Karen and Lowry, Michael R. and Person, Suzette and Pape, Mark},
  biburl = {https://www.bibsonomy.org/bibtex/2bdcad7dd195d979cfc37aac4e893cad5/dblp},
  booktitle = {ISSTA},
  crossref = {conf/issta/2008},
  editor = {Ryder, Barbara G. and Zeller, Andreas},
  ee = {https://doi.org/10.1145/1390630.1390635},
  interhash = {c6d6dc94134db2ff1f9df210c9bbabe3},
  intrahash = {bdcad7dd195d979cfc37aac4e893cad5},
  isbn = {978-1-60558-050-0},
  keywords = {dblp},
  pages = {15-26},
  publisher = {ACM},
  timestamp = {2018-11-07T13:03:10.000+0100},
  title = {Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.},
  url = {http://dblp.uni-trier.de/db/conf/issta/issta2008.html#PasareanuMBGLPP08},
  year = 2008
}

{"_id":"mPwEckrgL5YgjEydt","bibbaseid":"pasareanu-mehlitz-bushnell-gundyburlet-lowry-person-pape-combiningunitlevelsymbolicexecutionandsystemlevelconcreteexecutionfortestingnasasoftware-2008","authorIDs":[],"author_short":["Pasareanu, C. S.","Mehlitz, P. C.","Bushnell, D. H.","Gundy-Burlet, K.","Lowry, M. R.","Person, S.","Pape, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Mehlitz"],"firstnames":["Peter","C."],"suffixes":[]},{"propositions":[],"lastnames":["Bushnell"],"firstnames":["David","H."],"suffixes":[]},{"propositions":[],"lastnames":["Gundy-Burlet"],"firstnames":["Karen"],"suffixes":[]},{"propositions":[],"lastnames":["Lowry"],"firstnames":["Michael","R."],"suffixes":[]},{"propositions":[],"lastnames":["Person"],"firstnames":["Suzette"],"suffixes":[]},{"propositions":[],"lastnames":["Pape"],"firstnames":["Mark"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2bdcad7dd195d979cfc37aac4e893cad5/dblp","booktitle":"ISSTA","crossref":"conf/issta/2008","editor":[{"propositions":[],"lastnames":["Ryder"],"firstnames":["Barbara","G."],"suffixes":[]},{"propositions":[],"lastnames":["Zeller"],"firstnames":["Andreas"],"suffixes":[]}],"ee":"https://doi.org/10.1145/1390630.1390635","interhash":"c6d6dc94134db2ff1f9df210c9bbabe3","intrahash":"bdcad7dd195d979cfc37aac4e893cad5","isbn":"978-1-60558-050-0","keywords":"dblp","pages":"15-26","publisher":"ACM","timestamp":"2018-11-07T13:03:10.000+0100","title":"Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.","url":"http://dblp.uni-trier.de/db/conf/issta/issta2008.html#PasareanuMBGLPP08","year":"2008","bibtex":"@inproceedings{conf/issta/PasareanuMBGLPP08,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Pasareanu, Corina S. and Mehlitz, Peter C. and Bushnell, David H. and Gundy-Burlet, Karen and Lowry, Michael R. and Person, Suzette and Pape, Mark},\n biburl = {https://www.bibsonomy.org/bibtex/2bdcad7dd195d979cfc37aac4e893cad5/dblp},\n booktitle = {ISSTA},\n crossref = {conf/issta/2008},\n editor = {Ryder, Barbara G. and Zeller, Andreas},\n ee = {https://doi.org/10.1145/1390630.1390635},\n interhash = {c6d6dc94134db2ff1f9df210c9bbabe3},\n intrahash = {bdcad7dd195d979cfc37aac4e893cad5},\n isbn = {978-1-60558-050-0},\n keywords = {dblp},\n pages = {15-26},\n publisher = {ACM},\n timestamp = {2018-11-07T13:03:10.000+0100},\n title = {Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.},\n url = {http://dblp.uni-trier.de/db/conf/issta/issta2008.html#PasareanuMBGLPP08},\n year = 2008\n}\n\n","author_short":["Pasareanu, C. S.","Mehlitz, P. C.","Bushnell, D. H.","Gundy-Burlet, K.","Lowry, M. R.","Person, S.","Pape, M."],"editor_short":["Ryder, B. G.","Zeller, A."],"key":"conf/issta/PasareanuMBGLPP08","id":"conf/issta/PasareanuMBGLPP08","bibbaseid":"pasareanu-mehlitz-bushnell-gundyburlet-lowry-person-pape-combiningunitlevelsymbolicexecutionandsystemlevelconcreteexecutionfortestingnasasoftware-2008","role":"author","urls":{"Link":"https://doi.org/10.1145/1390630.1390635","Paper":"http://dblp.uni-trier.de/db/conf/issta/issta2008.html#PasareanuMBGLPP08"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.054Z","downloads":0,"keywords":["dblp"],"search_terms":["combining","unit","level","symbolic","execution","system","level","concrete","execution","testing","nasa","software","pasareanu","mehlitz","bushnell","gundy-burlet","lowry","person","pape"],"title":"Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.","year":2008,"dataSources":["nk4Sfi2ddzBtdLpRN"]}