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

John Hatcliff et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics