%PDF-1.4
%
1 0 obj
<<
/FICL#3AEnfocus 2 0 R
/PageMode /UseThumbs
/Names 3 0 R
/ViewerPreferences 4 0 R
/Outlines 5 0 R
/Metadata 6 0 R
/Pages 7 0 R
/PageLayout /SinglePage
/OpenAction 8 0 R
/Type /Catalog
/PageLabels 9 0 R
>>
endobj
10 0 obj
<<
/CrossMarkDomains#5B2#5D (elsevier.com)
/CrossmarkMajorVersionDate (2010-04-23)
/CreationDate (D:20050516075847Z)
/Subject (Electronic Notes in Theoretical Computer Science, 82 \(2003\) 500-514. doi:10.1016/S1571-0661\(05\)82625-8)
/Author (A. Kalinov)
/Creator (Elsevier)
/Keywords ()
/Producer (Acrobat Distiller 4.0 for Windows)
/ElsevierWebPDFSpecifications (6.4)
/CrossmarkDomainExclusive (true)
/robots (noindex)
/ModDate (D:20141009014052+05'30')
/doi (10.1016/S1571-0661\(05\)82625-8)
/CrossMarkDomains#5B1#5D (sciencedirect.com)
/Title (Coverage-driven Automated Compiler Test Suite Generation)
>>
endobj
2 0 obj
<<
/PitStop 11 0 R
>>
endobj
3 0 obj
<<
/Dests 12 0 R
>>
endobj
4 0 obj
<<
>>
endobj
5 0 obj
<<
/First 13 0 R
/Count 10
/Last 14 0 R
>>
endobj
6 0 obj
<<
/Length 6620
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/S1571-0661(05)82625-8
Coverage-driven Automated Compiler Test Suite Generation
A. Kalinov
A. Kossatchev
A. Petrenko
M. Posypkin
V. Shishkov
Electronic Notes in Theoretical Computer Science, 82 (2003) 500-514. doi:10.1016/S1571-0661(05)82625-8
journal
Electronic Notes in Theoretical Computer Science
Copyright © 2003 Elsevier B.V. Open access under CC BY-NC-ND license.
1571-0661
82
3
3 September 2003
500-514
500
514
10.1016/S1571-0661(05)82625-8
http://dx.doi.org/10.1016/S1571-0661(05)82625-8
2010-04-23
true
10.1016/S1571-0661(05)82625-8
elsevier.com
sciencedirect.com
6.4
10.1016/S1571-0661(05)82625-8
noindex
2010-04-23
true
sciencedirect.com
elsevier.com
Elsevier
2005-05-16T07:58:47Z
2014-10-09T01:40:52+05:30
2014-10-09T01:40:52+05:30
True
Acrobat Distiller 4.0 for Windows
uuid:3b499431-5f00-4608-a1b3-d29aff5e4801
uuid:8168233f-dad5-41c8-8d17-64474769d50f
endstream
endobj
7 0 obj
<<
/Count 15
/Type /Pages
/Kids [15 0 R 16 0 R]
>>
endobj
8 0 obj
<<
/D [17 0 R /FitH -32768]
/S /GoTo
>>
endobj
9 0 obj
<<
/Nums [0 18 0 R]
>>
endobj
11 0 obj
<<
/CC 19 0 R
>>
endobj
12 0 obj
<<
/Kids [20 0 R 21 0 R]
>>
endobj
13 0 obj
<<
/Parent 5 0 R
/Next 22 0 R
/Dest (section.1)
/Title (Introduction)
>>
endobj
14 0 obj
<<
/Parent 5 0 R
/Dest (section*.3)
/Prev 23 0 R
/Title (References)
>>
endobj
15 0 obj
<<
/Parent 7 0 R
/Count 10
/Type /Pages
/Kids [17 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R]
>>
endobj
16 0 obj
<<
/Parent 7 0 R
/Count 5
/Type /Pages
/Kids [33 0 R 34 0 R 35 0 R 36 0 R 37 0 R]
>>
endobj
17 0 obj
<<
/CropBox [0 0 595 842]
/Annots [38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R
48 0 R]
/Parent 15 0 R
/Contents [49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R]
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 59 0 R
/Resources <<
/XObject 60 0 R
/Font 61 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/ExtGState 62 0 R
>>
/Type /Page
>>
endobj
18 0 obj
<<
/S /D
>>
endobj
19 0 obj
<<
>>
endobj
20 0 obj
<<
/Limits [(Doc-Start) (subsection.3.1)]
/Names [(Doc-Start) 63 0 R (Hfootnote.1) 64 0 R (Item.1) 65 0 R (Item.2) 66 0 R (cite.AnlKut02) 67 0 R
(cite.Anlauff00) 68 0 R (cite.GarRic01a) 69 0 R (cite.GrGuSV01a) 70 0 R (cite.Gurevich94b) 71 0 R (cite.KutPie97a) 72 0 R
(cite.KutPie97b) 73 0 R (cite.Kutter02) 74 0 R (cite.Kutter03) 75 0 R (cite.Wallace97) 76 0 R (cite.cbr:Gaissaryan:94) 77 0 R
(cite.mpc:lastov:00) 78 0 R (cite.my:Kalinov:02) 79 0 R (cite.my:Kalinov:03) 80 0 R (cite.test:Bourdonov:01) 81 0 R (cite.test:Bourdonov:99) 82 0 R
(cite.test:HL00) 83 0 R (cite.test:Hannan:92) 84 0 R (cite.test:Jaramilio:99) 85 0 R (cite.test:Laemmel01-FASE) 86 0 R (cite.test:McNerney:91) 87 0 R
(cite.test:Necula:00) 88 0 R (cite.test:Petrenko:01) 89 0 R (cite.test:Zelenov:03) 90 0 R (cite.vlangs:F90) 91 0 R (figure.1) 92 0 R
(figure.2) 93 0 R (figure.3) 94 0 R (figure.4) 95 0 R (footnote.0) 96 0 R (page.1) 97 0 R
(page.10) 98 0 R (page.11) 99 0 R (page.12) 100 0 R (page.13) 101 0 R (page.14) 102 0 R
(page.15) 103 0 R (page.2) 104 0 R (page.3) 105 0 R (page.4) 106 0 R (page.5) 107 0 R
(page.6) 108 0 R (page.7) 109 0 R (page.8) 110 0 R (page.9) 111 0 R (section*.1) 112 0 R
(section*.2) 113 0 R (section*.3) 114 0 R (section.1) 115 0 R (section.2) 116 0 R (section.3) 117 0 R
(section.4) 118 0 R (section.5) 119 0 R (section.6) 120 0 R (section.7) 121 0 R (section.8) 122 0 R
(section.9) 123 0 R (subsection.2.1) 124 0 R (subsection.2.2) 125 0 R (subsection.3.1) 126 0 R]
>>
endobj
21 0 obj
<<
/Limits [(subsection.3.2) (thm.3.9)]
/Names [(subsection.3.2) 127 0 R (subsection.3.3) 128 0 R (subsection.5.1) 129 0 R (subsection.5.2) 130 0 R (subsection.6.1) 131 0 R
(subsection.6.2) 132 0 R (thm.2.1) 133 0 R (thm.3.1) 134 0 R (thm.3.10) 135 0 R (thm.3.11) 136 0 R
(thm.3.2) 137 0 R (thm.3.3) 138 0 R (thm.3.4) 139 0 R (thm.3.5) 140 0 R (thm.3.6) 141 0 R
(thm.3.7) 142 0 R (thm.3.8) 143 0 R (thm.3.9) 144 0 R]
>>
endobj
22 0 obj
<<
/First 145 0 R
/Parent 5 0 R
/Next 146 0 R
/Dest (section.2)
/Count -2
/Last 147 0 R
/Prev 13 0 R
/Title (The Montages Specification for mpC Expressions)
>>
endobj
23 0 obj
<<
/Parent 5 0 R
/Next 14 0 R
/Dest (section.9)
/Prev 148 0 R
/Title (Acknowlegments)
>>
endobj
24 0 obj
<<
/CropBox [0 0 595 842]
/Annots [149 0 R 150 0 R 151 0 R 152 0 R 153 0 R 154 0 R 155 0 R 156 0 R 157 0 R 158 0 R
159 0 R]
/Parent 15 0 R
/Contents 160 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 161 0 R
/Resources 162 0 R
/Type /Page
>>
endobj
25 0 obj
<<
/CropBox [0 0 595 842]
/Annots [163 0 R 164 0 R 165 0 R 166 0 R 167 0 R 168 0 R 169 0 R]
/Parent 15 0 R
/Contents 170 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 171 0 R
/Resources 172 0 R
/Type /Page
>>
endobj
26 0 obj
<<
/CropBox [0 0 595 842]
/Annots [173 0 R 174 0 R 175 0 R]
/Parent 15 0 R
/Contents 176 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 177 0 R
/Resources 178 0 R
/Type /Page
>>
endobj
27 0 obj
<<
/CropBox [0 0 595 842]
/Annots [179 0 R 180 0 R]
/Parent 15 0 R
/Contents 181 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 182 0 R
/Resources 183 0 R
/Type /Page
>>
endobj
28 0 obj
<<
/CropBox [0 0 595 842]
/Parent 15 0 R
/Contents 184 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 185 0 R
/Resources 186 0 R
/Type /Page
>>
endobj
29 0 obj
<<
/CropBox [0 0 595 842]
/Annots [187 0 R 188 0 R 189 0 R 190 0 R 191 0 R 192 0 R]
/Parent 15 0 R
/Contents 193 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 194 0 R
/Resources 195 0 R
/Type /Page
>>
endobj
30 0 obj
<<
/CropBox [0 0 595 842]
/Annots [196 0 R 197 0 R 198 0 R]
/Parent 15 0 R
/Contents 199 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 200 0 R
/Resources 201 0 R
/Type /Page
>>
endobj
31 0 obj
<<
/CropBox [0 0 595 842]
/Annots [202 0 R]
/Parent 15 0 R
/Contents 203 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 204 0 R
/Resources 205 0 R
/Type /Page
>>
endobj
32 0 obj
<<
/CropBox [0 0 595 842]
/Annots [206 0 R 207 0 R 208 0 R]
/Parent 15 0 R
/Contents 209 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 210 0 R
/Resources 211 0 R
/Type /Page
>>
endobj
33 0 obj
<<
/CropBox [0 0 595 842]
/Annots [212 0 R 213 0 R]
/Parent 16 0 R
/Contents 214 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 215 0 R
/Resources 216 0 R
/Type /Page
>>
endobj
34 0 obj
<<
/CropBox [0 0 595 842]
/Annots [217 0 R 218 0 R 219 0 R 220 0 R 221 0 R 222 0 R 223 0 R 224 0 R 225 0 R 226 0 R
227 0 R 228 0 R]
/Parent 16 0 R
/Contents 229 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 230 0 R
/Resources 231 0 R
/Type /Page
>>
endobj
35 0 obj
<<
/CropBox [0 0 595 842]
/Annots [232 0 R 233 0 R 234 0 R 235 0 R]
/Parent 16 0 R
/Contents 236 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 237 0 R
/Resources 238 0 R
/Type /Page
>>
endobj
36 0 obj
<<
/CropBox [0 0 595 842]
/Annots [239 0 R]
/Parent 16 0 R
/Contents 240 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 241 0 R
/Resources 242 0 R
/Type /Page
>>
endobj
37 0 obj
<<
/CropBox [0 0 595 842]
/Annots [243 0 R]
/Parent 16 0 R
/Contents 244 0 R
/Rotate 0
/MediaBox [0 0 595 842]
/Thumb 245 0 R
/Resources 246 0 R
/Type /Page
>>
endobj
38 0 obj
<<
/Type /Annot
/Subtype /Link
/A 247 0 R
/Rect [0.0 813.81604 595.0 842.0]
/F 0
/C [0.718 0.329 0.0]
>>
endobj
39 0 obj
<<
/Rect [364 374 377 384]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 1]
/Dest (cite.mpc:lastov:00)
/Type /Annot
>>
endobj
40 0 obj
<<
/Rect [414 257 428 267]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 1]
/Dest (cite.test:Petrenko:01)
/Type /Annot
>>
endobj
41 0 obj
<<
/Rect [429 257 443 267]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 1]
/Dest (cite.GrGuSV01a)
/Type /Annot
>>
endobj
42 0 obj
<<
/Rect [444 257 452 267]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 1]
/Dest (cite.GarRic01a)
/Type /Annot
>>
endobj
43 0 obj
<<
/Rect [239 242 253 252]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 1]
/Dest (cite.KutPie97a)
/Type /Annot
>>
endobj
44 0 obj
<<
/Rect [464 228 471 238]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 1]
/Dest (cite.Anlauff00)
/Type /Annot
>>
endobj
45 0 obj
<<
/Rect [473 228 486 238]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 1]
/Dest (cite.Kutter02)
/Type /Annot
>>
endobj
46 0 obj
<<
/Rect [469 214 477 223]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 1]
/Dest (cite.Gurevich94b)
/Type /Annot
>>
endobj
47 0 obj
<<
/Rect [457 199 471 209]
/Subtype /Link
/C [0 1 0]
/H /I
/Border [0 0 1]
/Dest (cite.Kutter03)
/Type /Annot
>>
endobj
48 0 obj
<<
/Rect [414.297 107.717 500.525 114.453]
/Subtype /Link
/BS <<
/S /U
/W 1
/Type /Border
>>
/A 248 0 R
/C [0.0 0.0 1.0]
/H /P
/Border [0 0 1]
/Type /Annot
>>
endobj
49 0 obj
<<
/Length 614
/Filter /FlateDecode
>>
stream
HTMs0+8i%@-d2ӦNCOMQm |z}o?2wS98b#svPtyMDIH"ns~sRYPBV/ڨ.dȊn;*]*I}|л;fHU|mGC)%jm_ny`SNj7~ "!:B??riHde{.[cw:@:f5;ZEF~(M(TaUwSm$hkvm_}0N&"
ZفrkUӪbX_^ B~Nƒrb;[Gjcu{e냊a 8`.1}B>~[s9A>b ggXq/N57r@̨k=݀ Ta{b2[dDɌh0䲉Zu?KB$yV%_
ĊχȞ8(%!Nh[AgK9 "ӓȢ*1;h8ݪAi*}w]%DSoK/f@ʔ"SH}vLC_;vvf~*zU;xv
gX
endstream
endobj
50 0 obj
<<
/Length 591
/Filter /FlateDecode
>>
stream
HO0|
wcZU?R۠^V=PJiLZw kM{cwUseYE*ڄeM&,,EdpJ1(nNka"!"?Xpm MŠ`PqOX dKB)Ou =|sL7/4O*1j[[yxj\WukF0|]{Xl+k19L!@Y$̉=YD u)W `Bੜ#_Irs\73)I$ϲ5d\.ֵ-5˦n5
)EӕX jj. =ׇ?Z->Y(IVyEdkG~qpKSakN
Ec|ɾ_Q$0@s%Emjїhn+0+pVXQ%\au9JIEi_bv([)?a?vTH
sJ*;GaSd2V?#%_ k@
endstream
endobj
51 0 obj
<<
/Length 602
/Filter /FlateDecode
>>
stream
HM0
CsZnm^K NX!PG~xT$&!2D9cKFEC$?vo_|.`#7l9WoCD\Z,lŝbʱLCw
Cc
Z]W,O)[4en,PG/s9f%Vuu:3tNxw*($2%&yxj(zt3Ce7z(Dp۲p$zybPO'(f7yv` |qkm%R|v \
endstream
endobj
52 0 obj
<<
/Length 550
/Filter /FlateDecode
>>
stream
HM0>?ڪH= h&k;P?0XJ!À1&E|wnEJ cL8je^Q|oMS hԟk(9J2f!=EBZK032 ̾{uQJX/
aȬQcd4D岚 7o)d
9S:g*F"}kc;f*[;-(u"XR5?.frFvZL"pCoY@8dALAطc 䤐x>*)^9a4Z!ljf_"֯2=coݙ&NoΛ*~jX+ӹ9c6 y"==|nkŇkF\M+w&r9 n}Ďħ2ć}̀ӸPXNa
:Pӷv*Vt/D>IIa463snGds]]
N]Qp x3
endstream
endobj
53 0 obj
<<
/Length 573
/Filter /FlateDecode
>>
stream
H=0{
J@/j2)2),a$q}lKp
`]$IRؽo.%'F&tz"X I1 ")/_{$ƙGp!l8*p.*~1@mG J#(ANA#QcTNQN1\]El#=1PDW"5sb)֮ޑw$e2Q
9f qM5ұ.}ĻLrgͥoE_?LL
v5R9c\{eDM6:֝cɰDSE1!^XA5
4[Q`n,~aή1r20UQ LjD
endstream
endobj
54 0 obj
<<
/Length 608
/Filter /FlateDecode
>>
stream
HM08B͚&Rg¿gl.h:~f&c'I7bC_:?e IFͷmeO4ccv< tQc
fEp'!$OjA+o
9rRAkト8%'VN݇]~f\viFR|+1(蹩Ǧ*G-mlۺ%fOx;SɴNW
D+I7/S3Ykۧ&RE[ƔNP% @(06!oB(
lB&k͌db{4+ɘMМ0]o;tsИyZ,Ub́/Sdٵ>_Ϥ-P~b:}:˱dw.1=6H[T%F2L\,>l݁ ㅎZ"!x,T_z2"&|XR\:*n[6 s412 ×팹>>vu2_p7:rw
{>}*̿[X#% LyV
endstream
endobj
55 0 obj
<<
/Length 654
/Filter /FlateDecode
>>
stream
HU0+r+HIJ'v۪ԖS#DU;6 j
7~$Ð!wdV1eqBylm
>YubiWǪ9xhǐݡ]>0ȕ%.F9u ́lU]4@
CUކL|2_Qi ՚ϓ+Drv,
Hd4mbjRVܚn ݳKCDCՏw.vEW^D
}rh#VoWӶpgXT\u