Reliability analysis in symbolic pathfinder. Filieri, A., Pasareanu, C. S., & Visser, W. In Notkin, D., Cheng, B. H. C., & Pohl, K., editors, ICSE, pages 622-631, 2013. IEEE Computer Society.
Reliability analysis in symbolic pathfinder. [link]Link  Reliability analysis in symbolic pathfinder. [link]Paper  bibtex   
@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
}
Downloads: 0