Achim D. Brucker, Burkhart Wolff. Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. In Yuri Gurevich, Bertrand Meyer, editors, Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Volume 4454 of Lecture Notes in Computer Science, pages 149-168, Springer, 2007. [doi]
Abstract is missing.