Achim D. Brucker, Burkhart Wolff
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
TAP, 2007.
@inproceedings{TAP-2007-BruckerW, author = "Achim D. Brucker and Burkhart Wolff", booktitle = "{Revised Papers of the First International Conference on Tests and Proofs}", doi = "10.1007/978-3-540-73770-4_9", isbn = "978-3-540-73769-8", pages = "149--168", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing}", volume = 4454, year = 2007, }