%PDF-1.6
%
82 0 obj
<>
endobj
79 0 obj
<>stream
Acrobat Distiller 8.1.0 (Windows)
Software Testing, XPath, Model Checking
PScript5.dll Version 5.2.2
2009-11-06T17:53:02+01:00
2009-11-06T17:49:51+01:00
2009-11-06T17:53:02+01:00
application/pdf
Testing XPath Queries using Model Checking
Claudio de la Riva, Javier Tuya, José García-Fanjul
System Testing and Validation, Potsdam, 2006
Software Testing
XPath
Model Checking
uuid:40449bc6-1e90-4ac0-8c90-af428e2a5dc8
uuid:07ed1e13-8b39-4e52-99b6-580b014329a8
endstream
endobj
99 0 obj
<>/Encoding<>>>>>
endobj
78 0 obj
<>
endobj
76 0 obj
<>
endobj
77 0 obj
<>
endobj
83 0 obj
<>
endobj
1 0 obj
<>
endobj
14 0 obj
<>
endobj
18 0 obj
<>
endobj
22 0 obj
<>
endobj
25 0 obj
<>
endobj
52 0 obj
<>
endobj
55 0 obj
<>
endobj
57 0 obj
<>stream
hޤr0~4#,MI4VΔ.Qc{dmߤ@a:7Ϝ{ϧ#
cimPc@) kB!v
RٶZЭaGh*=Än+BbZXBw͜rvIi4psq%`yל-Ap잋p1L`\wzi
A#8k?5`nb<
ǡsض;5w/=z϶&?-KYp"r8.\'|Z^J),0慄R bL~z༂ܸ]è,a2+(ΗJJm 8?Q8'T9}CjyĆt7a䅞n@~woJ/&[m2۬ɋ:[*SLm*"5[W-9oj+)`nAHdX _/㣼?A7yzbC׃Jk?r\v/vF 8b
d؉!QD4{P 5~0
endstream
endobj
56 0 obj
<>/ProcSet[/PDF/Text]/ExtGState<>>>
endobj
89 0 obj
<>
endobj
85 0 obj
<>
endobj
74 0 obj
<>
endobj
75 0 obj
<>
endobj
87 0 obj
<>
endobj
54 0 obj
<>stream
hެXRF}ẈI,o^0S6aXqt8_|%Ԧ((>}NjAS;ޥ)En#?*I\(
\b'M3u4Fg\L]a72wax^<7Nd&\_=?@:+uX˾Ela;h%?Zz0S"?2ר[-Z5o&蕣u[^w6GE]t+_.O#⻑`\ӀMעhPۮ[֭=o
"gwc1wj
^ =H*H,Q%r^lųg&0t @h@>
bu#XBO
;QXYnT
ı({Q3m4tcE
Q.Qt" %mL$
e;?Y.q*Π GS 4& ]XH=T-o:Ѕk;YC{;,R vvs;5NlIB=wZ8Y ܐD{VSFޱ:@VZM 'iQz15͈
M5d+Z8ى `/2%>kPPyɠbАИU ֮ī}Y[<emd(*J&{.TsQްG=pt0iڐk }I%@םá*&JwܰCy-&&PZY!^fMEG%;Y]VӐ\=
L~`4Gabl8ߕb]*(=Tcȑ[}HR<[J9z
-#M@{v!uZ4x.xq! |2p<=6+Š#Zj
`n>Q/UTx'Wz3)G$Sf-)[Wa]vxp A N:
keaȝ{60rqБOZ<eq3HvʌTj[R^