@inproceedings{conf/icse/FilieriPV13,
  added-at = {2016-05-03T00:00:00.000+0200},
  author = {Filieri, Antonio and Pasareanu, Corina S. and Visser, Willem},
  biburl = {https://www.bibsonomy.org/bibtex/25ca90e76c4314e804d03a29db9d4f0e3/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2013},
  editor = {Notkin, David and Cheng, Betty H. C. and Pohl, Klaus},
  ee = {http://dl.acm.org/citation.cfm?id=2486870},
  interhash = {3b8200e8aa8be92e7c2a1ec255794b89},
  intrahash = {5ca90e76c4314e804d03a29db9d4f0e3},
  isbn = {978-1-4673-3076-3},
  keywords = {dblp},
  pages = {622-631},
  publisher = {IEEE Computer Society},
  timestamp = {2016-05-04T11:50:25.000+0200},
  title = {Reliability analysis in symbolic pathfinder.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2013.html#FilieriPV13},
  year = 2013
}

{"_id":"dyJY5HvkC4fByZyob","bibbaseid":"filieri-pasareanu-visser-reliabilityanalysisinsymbolicpathfinder-2013","authorIDs":[],"author_short":["Filieri, A.","Pasareanu, C. S.","Visser, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-05-03T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Filieri"],"firstnames":["Antonio"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Visser"],"firstnames":["Willem"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/25ca90e76c4314e804d03a29db9d4f0e3/dblp","booktitle":"ICSE","crossref":"conf/icse/2013","editor":[{"propositions":[],"lastnames":["Notkin"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Cheng"],"firstnames":["Betty","H.","C."],"suffixes":[]},{"propositions":[],"lastnames":["Pohl"],"firstnames":["Klaus"],"suffixes":[]}],"ee":"http://dl.acm.org/citation.cfm?id=2486870","interhash":"3b8200e8aa8be92e7c2a1ec255794b89","intrahash":"5ca90e76c4314e804d03a29db9d4f0e3","isbn":"978-1-4673-3076-3","keywords":"dblp","pages":"622-631","publisher":"IEEE Computer Society","timestamp":"2016-05-04T11:50:25.000+0200","title":"Reliability analysis in symbolic pathfinder.","url":"http://dblp.uni-trier.de/db/conf/icse/icse2013.html#FilieriPV13","year":"2013","bibtex":"@inproceedings{conf/icse/FilieriPV13,\n added-at = {2016-05-03T00:00:00.000+0200},\n author = {Filieri, Antonio and Pasareanu, Corina S. and Visser, Willem},\n biburl = {https://www.bibsonomy.org/bibtex/25ca90e76c4314e804d03a29db9d4f0e3/dblp},\n booktitle = {ICSE},\n crossref = {conf/icse/2013},\n editor = {Notkin, David and Cheng, Betty H. C. and Pohl, Klaus},\n ee = {http://dl.acm.org/citation.cfm?id=2486870},\n interhash = {3b8200e8aa8be92e7c2a1ec255794b89},\n intrahash = {5ca90e76c4314e804d03a29db9d4f0e3},\n isbn = {978-1-4673-3076-3},\n keywords = {dblp},\n pages = {622-631},\n publisher = {IEEE Computer Society},\n timestamp = {2016-05-04T11:50:25.000+0200},\n title = {Reliability analysis in symbolic pathfinder.},\n url = {http://dblp.uni-trier.de/db/conf/icse/icse2013.html#FilieriPV13},\n year = 2013\n}\n\n","author_short":["Filieri, A.","Pasareanu, C. S.","Visser, W."],"editor_short":["Notkin, D.","Cheng, B. H. C.","Pohl, K."],"key":"conf/icse/FilieriPV13","id":"conf/icse/FilieriPV13","bibbaseid":"filieri-pasareanu-visser-reliabilityanalysisinsymbolicpathfinder-2013","role":"author","urls":{"Link":"http://dl.acm.org/citation.cfm?id=2486870","Paper":"http://dblp.uni-trier.de/db/conf/icse/icse2013.html#FilieriPV13"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.383Z","downloads":0,"keywords":["dblp"],"search_terms":["reliability","analysis","symbolic","pathfinder","filieri","pasareanu","visser"],"title":"Reliability analysis in symbolic pathfinder.","year":2013,"dataSources":["nk4Sfi2ddzBtdLpRN"]}