@article{journals/sigsoft/DanielPP14,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Daniel, Jakub and Parizek, Pavel and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/236aa03aefca1081a76e2ec3efb98c106/dblp},
  ee = {https://doi.org/10.1145/2557833.2560573},
  interhash = {10508fcc93088b895a83261494c444e1},
  intrahash = {36aa03aefca1081a76e2ec3efb98c106},
  journal = {ACM SIGSOFT Software Engineering Notes},
  keywords = {dblp},
  number = 1,
  pages = {1-5},
  timestamp = {2018-11-07T12:32:10.000+0100},
  title = {Predicate abstraction in Java Pathfinder.},
  url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft39.html#DanielPP14},
  volume = 39,
  year = 2014
}

{"_id":"TSyBnECjMAB4Q67pS","bibbaseid":"daniel-parizek-pasareanu-predicateabstractioninjavapathfinder-2014","authorIDs":[],"author_short":["Daniel, J.","Parizek, P.","Pasareanu, C. S."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Daniel"],"firstnames":["Jakub"],"suffixes":[]},{"propositions":[],"lastnames":["Parizek"],"firstnames":["Pavel"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/236aa03aefca1081a76e2ec3efb98c106/dblp","ee":"https://doi.org/10.1145/2557833.2560573","interhash":"10508fcc93088b895a83261494c444e1","intrahash":"36aa03aefca1081a76e2ec3efb98c106","journal":"ACM SIGSOFT Software Engineering Notes","keywords":"dblp","number":"1","pages":"1-5","timestamp":"2018-11-07T12:32:10.000+0100","title":"Predicate abstraction in Java Pathfinder.","url":"http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft39.html#DanielPP14","volume":"39","year":"2014","bibtex":"@article{journals/sigsoft/DanielPP14,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Daniel, Jakub and Parizek, Pavel and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/236aa03aefca1081a76e2ec3efb98c106/dblp},\n ee = {https://doi.org/10.1145/2557833.2560573},\n interhash = {10508fcc93088b895a83261494c444e1},\n intrahash = {36aa03aefca1081a76e2ec3efb98c106},\n journal = {ACM SIGSOFT Software Engineering Notes},\n keywords = {dblp},\n number = 1,\n pages = {1-5},\n timestamp = {2018-11-07T12:32:10.000+0100},\n title = {Predicate abstraction in Java Pathfinder.},\n url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft39.html#DanielPP14},\n volume = 39,\n year = 2014\n}\n\n","author_short":["Daniel, J.","Parizek, P.","Pasareanu, C. S."],"key":"journals/sigsoft/DanielPP14","id":"journals/sigsoft/DanielPP14","bibbaseid":"daniel-parizek-pasareanu-predicateabstractioninjavapathfinder-2014","role":"author","urls":{"Link":"https://doi.org/10.1145/2557833.2560573","Paper":"http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft39.html#DanielPP14"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.068Z","downloads":0,"keywords":["dblp"],"search_terms":["predicate","abstraction","java","pathfinder","daniel","parizek","pasareanu"],"title":"Predicate abstraction in Java Pathfinder.","year":2014,"dataSources":["nk4Sfi2ddzBtdLpRN"]}