%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Pages 2 0 R
/Metadata 3 0 R
>>
endobj
4 0 obj
<<
/Producer (pdfTeX-1.40.3)
/Creator (TeX)
/CreationDate (D:20090902184722+02'00')
/ModDate (D:20090902184722+02'00')
/Trapped /False
/PTEX.Fullbanner (This is pdfTeX using libpoppler, Version 3.141592-1.40.3-2.2 \(Web2C 7.5.6\) kpathsea version 3.5.6)
/Author (Michael Pradel and Thomas R. Gross)
/bibtex#2Fbibtexkey (ase2009)
/bibtex#2Fbooktitle (Automated Software Engineering \(ASE\))
/bibtex#2Ffile (ase2009.pdf:ase2009.pdf:PDF)
/bibtex#2Fowner (michi)
/bibtex#2Ftimestamp (2009.05.20)
/Title (Automatic Generation of Object Usage Specifications from Large Method Traces)
/bibtex#2Fyear (2009)
/bibtex#2Fentrytype (Inproceedings)
>>
endobj
2 0 obj
<<
/Type /Pages
/Count 12
/Kids [5 0 R 6 0 R]
>>
endobj
3 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 7 0 R
>>
stream
Michael Pradel
Thomas R. Gross
bibtex/bibtexkey/ase2009
bibtex/booktitle/Automated Software Engineering (ASE)
bibtex/file/ase2009.pdf:ase2009.pdf:PDF
bibtex/owner/michi
bibtex/timestamp/2009.05.20
Automatic Generation of Object Usage Specifications from Large Method Traces
2009
application/pdf
Inproceedings
Michael Pradel
Thomas R. Gross
ase2009
Automated Software Engineering (ASE)
Automatic Generation of Object Usage Specifications from Large Method Traces
2009
Inproceedings
endstream
endobj
5 0 obj
<<
/Type /Pages
/Count 6
/Parent 2 0 R
/Kids [8 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R]
>>
endobj
6 0 obj
<<
/Type /Pages
/Count 6
/Parent 2 0 R
/Kids [14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R]
>>
endobj
7 0 obj
1554
endobj
8 0 obj
<<
/Type /Page
/Contents 20 0 R
/Resources 21 0 R
/MediaBox [0 0 612 792]
/Parent 5 0 R
>>
endobj
9 0 obj
<<
/Type /Page
/Contents 22 0 R
/Resources 23 0 R
/MediaBox [0 0 612 792]
/Parent 5 0 R
>>
endobj
10 0 obj
<<
/Type /Page
/Contents 24 0 R
/Resources 25 0 R
/MediaBox [0 0 612 792]
/Parent 5 0 R
>>
endobj
11 0 obj
<<
/Type /Page
/Contents 26 0 R
/Resources 27 0 R
/MediaBox [0 0 612 792]
/Parent 5 0 R
>>
endobj
12 0 obj
<<
/Type /Page
/Contents 28 0 R
/Resources 29 0 R
/MediaBox [0 0 612 792]
/Parent 5 0 R
>>
endobj
13 0 obj
<<
/Type /Page
/Contents 30 0 R
/Resources 31 0 R
/MediaBox [0 0 612 792]
/Parent 5 0 R
>>
endobj
14 0 obj
<<
/Type /Page
/Contents 32 0 R
/Resources 33 0 R
/MediaBox [0 0 612 792]
/Parent 6 0 R
>>
endobj
15 0 obj
<<
/Type /Page
/Contents 34 0 R
/Resources 35 0 R
/MediaBox [0 0 612 792]
/Parent 6 0 R
>>
endobj
16 0 obj
<<
/Type /Page
/Contents 36 0 R
/Resources 37 0 R
/MediaBox [0 0 612 792]
/Parent 6 0 R
>>
endobj
17 0 obj
<<
/Type /Page
/Contents 38 0 R
/Resources 39 0 R
/MediaBox [0 0 612 792]
/Parent 6 0 R
>>
endobj
18 0 obj
<<
/Type /Page
/Contents 40 0 R
/Resources 41 0 R
/MediaBox [0 0 612 792]
/Parent 6 0 R
>>
endobj
19 0 obj
<<
/Type /Page
/Contents 42 0 R
/Resources 43 0 R
/MediaBox [0 0 612 792]
/Parent 6 0 R
>>
endobj
20 0 obj
<<
/Length 44 0 R
/Filter /FlateDecode
>>
stream
xZKD+|X9-~mfi栶m1d7,YTURU>̒zZyo_ӕyʏ2_^FazZǞ3ͱzPSM-f/Om/_Hl=/nUQ6~a"K۵9QPPs,oMhvRX[s7d͓ 'ld7dPj im̧#hyC(H}Ӟe=Qϴ0uPy-jɱ!M^9m4u/q(j7vmiI>otseڪw'f*L\dt'qmnB =MH]@n
YC7_=v= g'N1M:=$q8ݵ0`0hЙFrG'R:m7f)4-ux,5HVݝ>L*m+)ymH"+@bn;NQ*lf;&;!iyZ<.zSq O
[ٺagGa@6:6Uxs!}i_fKG=LɆ^B V[2JP+k)Oklqr_lk0Z" 4(`\#Z~C]Cө*j-Yg=ca&ed-+㳁L@YCh<a{ZQky
#PJ[&>-7ɻtn[Щ.uCb88\4vE_RmĎY8mODP蓋qw#$XE]T/X^B-9ʬa?U?!%2*ut04YB9U_xDU%
]{hW^"-=n^)/ {+Ӎ-P@Y6."Aχ[ hVKWA܊؛s\s+ z呎u>͝fhr%QYUiE
l"!Ln4D%k!^mѥi+, &>Xft!"YDv(
Y]z3&LȉĴ'r8N8AzO,~|(~O?NqJq`:H`IQGT
\F>A^bClN@V)"$Uˮg֫2(fsd$1BHj]?b7?6WȜ,Au'#r'YKQh 1!|XN."ɜOMƝZz$@}EmDnjzXcc*A)E M&^`& snN:p~bL_Ms]kd$1Kzy0jmF#t:DerM hQȈJ@ǓROeQ#pI
qE6Xg);(rJTV'#j lxVEM/d:_p%TijaTN|ZQU7niGPYT
iėӪ+Yr:QѪg%ROz@w&R8Sn\-y`1'`8a0+ЏPe&UnK}"X5Бj}&55.HkZp\<XNrTeр ɝM2J+m3 fx<lvz߽#QӘ,Ӣj{=0w%76^@P,8Ph:AF9&~a/Ąq4%,i[PSlm@$$]ȧC;@tm:>
7CCwhBAVk7/qmG7cXˡ1juPX FX{cTGMmPMOnl$_@v@Hf$I֦>]w'e!;i
cRT|LP-h6X, ALc'08'rKbApvRZڛ%'lh
fM17Bc%ȧA QOM&^..F~on4 Tt訥Z(yx%
ӻ[iE 6
f8
$xJ@=c$fG/XfĚIH 20hwȡ-{6a"Ntg)cpL=DI۫&y{˩-ժjii.J | A8O]<<6:!9E҉1PvDҗjYF