Explicating symbolic execution (xSymExe): an evidence-based verification framework.

John Hatcliff, Robby, Patrice Chalin, Jason Belt

Browse the full ICSE paper archive.