Reliability Analysis in Symbolic Pathfinder. - Filieri, Antonio; Pasareanu, Corina S.; Visser, Willem (ICSE: International Conference on Software Engineering, 2013)