@inproceedings{Anand+Pasareanu+Visser/2007/JPF-SE,
  added-at = {2009-05-20T01:29:36.000+0200},
  author = {Anand, Saswat and Pasareanu, Corina and Visser, Willem},
  biburl = {https://www.bibsonomy.org/bibtex/2d61064e391e5265040f79526b067fa94/sriram0339},
  booktitle = {TACAS},
  description = {First cut database},
  interhash = {e9e231cdb2fc5003f49502ac60bcf379},
  intrahash = {d61064e391e5265040f79526b067fa94},
  keywords = {imported},
  pages = {134-138},
  publisher = {Springer},
  series = {LNCS},
  timestamp = {2009-05-20T01:29:37.000+0200},
  title = {{JPF}--{SE}: A Symbolic Execution Extension to Java PathFinder},
  volume = 4424,
  year = 2007
}

{"_id":"fEsLW5G5KsZyJ8H7j","bibbaseid":"anand-pasareanu-visser-jpfseasymbolicexecutionextensiontojavapathfinder-2007","authorIDs":[],"author_short":["Anand, S.","Pasareanu, C.","Visser, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2009-05-20T01:29:36.000+0200","author":[{"propositions":[],"lastnames":["Anand"],"firstnames":["Saswat"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina"],"suffixes":[]},{"propositions":[],"lastnames":["Visser"],"firstnames":["Willem"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2d61064e391e5265040f79526b067fa94/sriram0339","booktitle":"TACAS","description":"First cut database","interhash":"e9e231cdb2fc5003f49502ac60bcf379","intrahash":"d61064e391e5265040f79526b067fa94","keywords":"imported","pages":"134-138","publisher":"Springer","series":"LNCS","timestamp":"2009-05-20T01:29:37.000+0200","title":"JPF–SE: A Symbolic Execution Extension to Java PathFinder","volume":"4424","year":"2007","bibtex":"@inproceedings{Anand+Pasareanu+Visser/2007/JPF-SE,\n added-at = {2009-05-20T01:29:36.000+0200},\n author = {Anand, Saswat and Pasareanu, Corina and Visser, Willem},\n biburl = {https://www.bibsonomy.org/bibtex/2d61064e391e5265040f79526b067fa94/sriram0339},\n booktitle = {TACAS},\n description = {First cut database},\n interhash = {e9e231cdb2fc5003f49502ac60bcf379},\n intrahash = {d61064e391e5265040f79526b067fa94},\n keywords = {imported},\n pages = {134-138},\n publisher = {Springer},\n series = {LNCS},\n timestamp = {2009-05-20T01:29:37.000+0200},\n title = {{JPF}--{SE}: A Symbolic Execution Extension to Java PathFinder},\n volume = 4424,\n year = 2007\n}\n\n","author_short":["Anand, S.","Pasareanu, C.","Visser, W."],"key":"Anand+Pasareanu+Visser/2007/JPF-SE","id":"Anand+Pasareanu+Visser/2007/JPF-SE","bibbaseid":"anand-pasareanu-visser-jpfseasymbolicexecutionextensiontojavapathfinder-2007","role":"author","urls":{},"keyword":["imported"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.711Z","downloads":0,"keywords":["imported"],"search_terms":["jpf","symbolic","execution","extension","java","pathfinder","anand","pasareanu","visser"],"title":"JPF–SE: A Symbolic Execution Extension to Java PathFinder","year":2007,"dataSources":["nk4Sfi2ddzBtdLpRN"]}