Predicate abstraction in Java Pathfinder. Daniel, J.; Parizek, P.; and Pasareanu, C. S. ACM SIGSOFT Software Engineering Notes, 39(1):1-5, 2014.
Predicate abstraction in Java Pathfinder. [link]Link  Predicate abstraction in Java Pathfinder. [link]Paper  bibtex   
@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
}
Downloads: 0