Hol-TestGen/Fw
Metadata only
Datum
2013Typ
- Conference Paper
Publikationsstatus
publishedExterne Links
Buchtitel
Theoretical Aspects of Computing – ICTAC 2013Seiten / Artikelnummer
Verlag
HeidelbergKonferenz
Thema
Symbolic test case generations; Black box testing; Theorem proving; Network Security; Firewall testing; Conformance Testing