"Coverage-Directed Test Generation Using Symbolic Techniques."

Daniel Geist et al. (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics