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

Achim D. Brucker, Burkhart Wolff

Browse the full TAP paper archive.