Antonio Filieri, Corina S. Pasareanu, Willem Visser. Reliability Analysis in Symbolic Pathfinder: A brief summary. In Wilhelm Hasselbring, Nils Christian Ehmke, editors, Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland. Volume 227 of LNI, pages 39-40, GI, 2014.
Abstract is missing.