"Enhancing symbolic execution with built-in term rewriting and constrained ..."

Pietro Braione, Giovanni Denaro, Mauro Pezzè (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics