"STG: a tool for generating symbolic test programs and oracles from ..."

Duncan Clarke et al. (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics