Sciweavers

2 search results - page 1 / 1

» hol-TestGen

87

FASE
2009
Springer

101views Software Engineering» more FASE 2009»

15 years 9 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

90

TAP
2007
Springer

80views Hardware» more TAP 2007»

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

15 years 9 months ago

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

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »