%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction [4 0 R /Fit]
/Outlines 5 0 R
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author <5061756C2054656D706C652C204D6174686965752041636865722C204A65616E2D4D617263204AE97AE97175656C>
/CreationDate (D:20210114051825Z)
/Creator (HAL)
/Keywords ()
/ModDate (D:20210118114651+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.17 \(TeX Live 2016/Debian\) kpathsea version 6.2.2)
/Producer (PDFLaTeX)
/Subject (Computer Science [cs]/Software Engineering [cs.SE])
/Title (Multimorphic Testing)
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 3933
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Paul Temple, Mathieu Acher, Jean-Marc Jézéquel
Computer Science [cs]/Software Engineering [cs.SE]
Multimorphic Testing
2021-01-14T05:18:25Z
HAL
2021-01-18T11:46:51+01:00
2021-01-18T11:46:51+01:00
PDFLaTeX
False
This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016/Debian) kpathsea version 6.2.2
uuid:67a4d487-35df-4e12-8210-a07e8b7a7887
uuid:c168cf28-8e32-4a11-8791-2db5024a27a6
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/Annots [9 0 R 10 0 R]
/Contents [11 0 R]
/CropBox [0.0 0.0 595.28 841.89]
/MediaBox [0.0 0.0 595.28 841.89]
/Parent 6 0 R
/Resources 12 0 R
/Rotate 0
/Type /Page
>>
endobj
5 0 obj
<<
/Count 5
/First 13 0 R
/Last 14 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 4
/Kids [15 0 R 4 0 R 16 0 R 17 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [18 0 R 19 0 R 20 0 R]
/Limits [(Doc-Start) (section.3)]
>>
endobj
9 0 obj
<<
/A 21 0 R
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [173.538 237.241 421.738 257.699]
/Subtype /Link
/Type /Annot
>>
endobj
10 0 obj
<<
/A 22 0 R
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [252.034 728.201 253.03 729.197]
/Subtype /Link
/Type /Annot
>>
endobj
11 0 obj
<<
/Length 1505
/Filter /FlateDecode
>>
stream
xڝXɎ6+-U\A$7#srhM}O-,ݣ3ŭUudXrkǧ/~aŐ`ykZ)Ʋ<]ܜOݹ'̑jwn<>TRq\e*G.z}-$ί!FIUȦAog
+9}6Ǭuc#-T@?n
~$"0.@sWlO7H=gz V
Eդ}@E<3