"Test-Sequence Generation with Hol-TestGen with an Application to Firewall ..."

Achim D. Brucker, Burkhart Wolff (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics