%PDF-1.4
%
2417 0 obj
<>
endobj
2419 0 obj
<>stream
application/pdf
test case generation, black-box testing, Isabelle/HOL
test case generation
black-box testing
Isabelle/HOL
test case generation, black-box testing, Isabelle/HOL
Information Security group, InfSec
Department of Computer Science
ETH Zurich, Switzerland
2014-12-12T08:54:50.022+01:00
Achim D. Brucker, Lukas Brügger, Matthias P. Krieger, and Burkhart Wolff
HOL-TestGen: User Guide
2010-04-25T14:23:03+02:00
2010-04-25T14:23:03+02:00
2010-04-25T14:23:03+02:00
LaTeX with hyperref package
This is pdfTeX, Version 3.1415926-1.40.10-2.2 (TeX Live 2009/Debian) kpathsea version 5.0.0
False
Achim D. Brucker, Lukas Brügger, Matthias P. Krieger, and Burkhart Wolff
2014-12-12T08:54:41.445+01:00
0a55a461d894219a47d6180e01a89123ef091e47
pdfTeX-1.40.10
test case generation, black-box testing, Isabelle/HOL
pdfTeX-1.40.10
False
endstream
endobj
2416 0 obj
<>
endobj
337 0 obj
<>
endobj
2257 0 obj
<>
endobj
2256 0 obj
<>
endobj
2254 0 obj
<>
endobj
2255 0 obj
<>
endobj
2253 0 obj
<>
endobj
1909 0 obj
<>
endobj
1938 0 obj
<>
endobj
1965 0 obj
<>
endobj
1990 0 obj
<>
endobj
2024 0 obj
<>
endobj
2142 0 obj
<>
endobj
2138 0 obj
<>
endobj
2148 0 obj
<>
endobj
2149 0 obj
<>stream
xŔMO@>f%2=V*T5=
U,Uuv6tR%
'[=x<VSC*:rPxfe"A˼ov0EAs(Ę(IE&,0zQE#6C2RWN#x u]^kXsЊ
ފd@&а(Nv:Z*H]NҬMVR\x跚!C3>P ػ?WM7߲VQT!g?g}F&у7lTV.yXyu880[w⚉[ϻ2@ !FHvz|()ӰaC)Ȇ4ںכvR#~Ws!1>/ProcSet[/PDF/Text]>>
endobj
363 0 obj
<>
endobj
351 0 obj
<>
endobj
528 0 obj
<>
endobj
361 0 obj
<>
endobj
2208 0 obj
<>
endobj
2177 0 obj
[583.3 555.6 555.6 833.3 833.3 277.8 305.6 500 500 500 500 500 750 444.4 500 722.2 777.8 500 902.8 1013.9 777.8 277.8 277.8 500 833.3 500 833.3 777.8 277.8 388.9 388.9 500 777.8 277.8 333.3 277.8 500 500 500 500 500 500 500 500 500 500 500 277.8 277.8 277.8 777.8 472.2 472.2 777.8 750 708.3 722.2 763.9 680.6 652.8 784.7 750 361.1 513.9 777.8 625 916.7 750 777.8 680.6 777.8 736.1 555.6 722.2 750 750 1027.8 750 750 611.1 277.8 500 277.8 500 277.8 277.8 500 555.6 444.4 555.6 444.4 305.6 500 555.6 277.8 305.6 527.8 277.8 833.3 555.6 500 555.6 527.8 391.7 394.4 388.9 555.6 527.8 722.2 527.8 527.8 444.4 500 1000 500 500 500]
endobj
2207 0 obj
<>stream
xڌP\inӸ;Ӹ]$
- p:3M2UU~ֻYn*2U
&1K'sȝ
`e`feeGҴuw #F:Ppef`=%'@`ggeOɕ iik Pb;nHTN>60{Zx29]m-@ %3w#8@6,,^^^fnNt /[w:
Jl;3f$*r
'+w/3W ,p K+ !PqVV[Om ll#[_fNf [5PVdvvg,)99