Explicating Symbolic Execution (XSYMEXE): An Evidence-Based Verification Framework. - Hatcliff, John; Robby; Chalin, Patrice; Belt, Jason (ICSE: International Conference on Software Engineering, 2013)