%PDF-1.4
%ÐÔÅØ
1 0 obj
<< /S /GoTo /D (section.1) >>
endobj
4 0 obj
(Introduction)
endobj
5 0 obj
<< /S /GoTo /D (section.2) >>
endobj
8 0 obj
(Random Automated Testing in Java: The Facts)
endobj
9 0 obj
<< /S /GoTo /D (subsection.2.1) >>
endobj
12 0 obj
(Random Automated Testing Principles)
endobj
13 0 obj
<< /S /GoTo /D (subsection.2.2) >>
endobj
16 0 obj
(YETI Facts)
endobj
17 0 obj
<< /S /GoTo /D (section.3) >>
endobj
20 0 obj
(Challenges for Dynamic Languages)
endobj
21 0 obj
<< /S /GoTo /D (subsection.3.1) >>
endobj
24 0 obj
(Instance generation and execution)
endobj
25 0 obj
<< /S /GoTo /D (subsection.3.2) >>
endobj
28 0 obj
(How to identify errors?)
endobj
29 0 obj
<< /S /GoTo /D (subsection.3.3) >>
endobj
32 0 obj
(Understanding results)
endobj
33 0 obj
<< /S /GoTo /D (section.4) >>
endobj
36 0 obj
(Paths towards random testing)
endobj
37 0 obj
<< /S /GoTo /D [38 0 R /FitV ] >>
endobj
51 0 obj <<
/Length 3736
/Filter /FlateDecode
>>
stream
xÚZY“Û6~÷¯Ð[¨ÚM <ó´>âÔd“ØkO*•rü@I‰kŠ”yX™¿}‘eŽÝhÝ_P°:¬‚ÕO‚o”Ïïž<}g+•øZEáêî~¥ÂØ3½Jå«8ZÝíWï½Ç¼,mu°íz‘×Õ\¶ýù\77ò¾«Oyg÷Ülòj_ŸÖî~Z%¾I£ÕF+?S)¯ØÙ¶+ª½_ëÈ«nìªüTìàƒò±‡ó°f™W‡>ÇmÀ²O_%ÁJÁšQ¤qç›8‚›ÕÆD~ÇüwÝŸ&Rçc^ÙõFG÷²ßåmkÇ2?‹uLóuê›P6*ö3#óßþR¿ä‰jsíö×··Ï¸ús|áê¯u³çÚ}SŸí
=J}¥4¬Iûä5_kvÃô*õÃ85´ƒ0ôcÀhãg¡pêØuçïŸ>m;˧P‘çïåX¿oìPyºÄ•e¾ŠâU¨ýÔd¼æ/yÕÛ’wûº)êr‰*„esvüVxWŸñƒ¶i‹î©ï¹üc´š7Üþí_Çý *³Cžòj
aSÿܵtš‡µH& ñÑÏw~ÿqñt ¬’ª• ü4
y±g%1ä/ÀF.ç¹mÖ*õvñ¤FÁäd~Ò7¥-r¹ÐŸóœç¥=çMw²U7?÷‹útî;øÞ¹òóÙ•¿Ûïœ%)ˆ‚—/^@¡6}ƒ/ŽE)+?
ÂùêÔ½$O ×a¤åikà†o{œ÷00*8ºe²à n-J`)-ŒÞ¶]“ﺞðÑFÊÀ t:BÔà °£h¹Ì¹ïÜÔÈfKÅ]”“üˆC8°ØÃ÷BÝ¢èô ÚˆÃ*øòî;†µí®®öEWÔRï3èAŽÍö†‡Œc»#nÇØéš*î+¤¼Ø²ä1x"+3Ëb3ۅ׶ɛ¶>î7ñnéh)|Æ26Ö±wL 9€²í`ƒ4ƒ¡»Fh¼‘5ú¦A1]âÁt&ÍÆÛ0Y0Ývtu]¶\=Ú™ú¹À/S_þ/Âò´|ÿ“Wì€À–>Í 0×Ú;ÙîX#°kãíí®Ì›œ/ ¨#9ëlÏê†Sð¼x@ÑA:ࣗŠû˜a;{Þ,}˜î5¸“Å,8qE/ÉEZÌU` [v!㙣¼f"!8€×‹Iù>J§
èwS7xõ&ÔÞ+Ü4¢ö´ýîȵÆæm]Ýð÷º°o¸.èš®:Žù¢ÄWu‡—¤½%™ÍÊlˆÃ‡5\¯ÃH ¡$iÄÑ3iÄ”FìØÉ”Wåkå›f’T.ˆý(£xzXð¶ârЯÈ;çgÛpõbGEmI x¤åŠHÔ˜°s\™/
ÿ‘™Î‚FΔ[j' Ì`6ÀºîçÝ“¯
××Á1£7ó‘HÜ?,Jy7ë?Aç˜ó4x4¡ÌSÀ4à~T)F
^ )Ì·Ð÷í ·&rÄׄ·†áŠûº9qá]:Úïõdb0‘Y"áö®ü`+zM·†Þ>ïr®‰ªa•q6äõ™î
K Ôߎºzí±¨ì¢Ì“>k¸Š®åŠ%óÞÇ[ænR_?Ùhµõ}Çæ†Ü ÜS«/‡esR€‰ŽÛàÆôy¹¨ÿëï½Ø\ðdV
\¬¼ýñ šò7¯å>WàŒ$&Å댸…éÊø±’åþ±péà·+pœQJÍŒ;P>ø¼ƒI$Ø^‘ ¤rP åç³ÍËqÃ[»ËûVúPIïð˜ppuxåàæƒÛÕX´¨ÇKñk Þ¤Æ
•˜˜3Wé6ÐûÙvÀ[Ÿ}*^~öô*XdÂT}©?ÉÔ8ðUhþw¦é5Soý2mìÅë_Þ|9éïšÎðœA·-pšÁ×NóÁûN_®¸<…N4[ñ@ä|.&WHý$‰g˜A( Ö •™_ϵ÷fÐzh˜l-bÇä„8&Ç‘e SËíEMæ!ƒk¸ CâÆu±5:ŠÐ2r@0‹["aF@‰Ç‚C€¶©…ƒÛEµ?ÚÂX”9ÒŠ-°‘£É„æŸA «}ËSúc¢ÔÙ Í9 †Ñ[>h|,?£Ç|.¥‰I×ÁZwc¶UXJä+ƱמòR&䧺¯N†W)N–)_Sºe±÷—¶ø;ûWªzôe•±oÛ2
¿‹å(Ø`–ñØ}!RA./u#W®¦Ü¼‘m#-‰Ð•šÄ¸) ¤€¸µÝ…*dÎ=a×=°l/£¸œ"ÇÇÆ™ù8ò+AË°`$"6âî.íîXŸzq#æP)òÿÒMª(tô9rÀª9`»¨ve¿>Þ›cÞÔÒõ•ë~þò×/1VCà©TFXÿ-•QA¶ˆn€4«ÇéUtÝë¾DåöâPE¶(QH!ÝÜ©³¥å((4ã(‹l PÎP°ƒàâýf¶¿îž|z¢„Q¸RIÑr¶Úž¼ÿ¬ö@‡KõÎVu‚[Ê|tô‚U¹z÷äßœŠ®€Û†x‹VÖ‰?… ~†Òø®W xˆÏ˜] 1»¢ýT™YĹ\Öpά€¡A9ôëæ°˜ ˜ƒéB7²zùA*Üÿ¢>#cšâp”¼Å¤šÈ«©eå#Q#ßL‹ªûNzÎb|Ur)NŽ>îýßÞþ$h:6~ ¢w Ò“
¶aÌZNÑUŒÑ•Ï=¿Uàw}cA‰âÈ»áQC Mƒ&«¶ Æ£‹\G6ŠÆ@èó@;BóÂ5+¦
C9ÄÒ´¨3Só
xŸ?ÁræÄÞ™×8Tßpdm ÀJ å:ÏœH<ƒ-ÂìjÑì2†¥‡dŠšÅíØ1ÆíSêE¹q9Ž‚èÙ×tž`žcwß.3ÁÒ˜ã,Fþ6%>W)
8tÃ䑽&ÏÕO`K9–G:…£8B…EžOñ^Ž?˜ÈÀŽ]Ûᾯ„DFb>D3qZ… ,|”>ÆyàýÞ,à,xi*ÐÃèËѲ!±‘
dªØÅ
â¾Nc/zbäákM!¥6ƒUcæ9˜s“¿URXÔsÝîJ˜¬ñy$%È(åC( É ñb…$y‚e/=Ds•5 Â,k‰ˆ•sÞÛ!Â>+p§o„cæhZ 3[™{ºr=Gã]–,ðóèfÌ'2: ÒÈuùåad)u°hó_
Å¥aÌ<
“)—‚DN7†˜a/Î%2ÛýÃèÑiš»Á]ôÈÆBdÆ{³qï?IÈ 9Ù Iðw ; È’ÃXŽ p¬¾v$‘7øCð!F‘s 02NˆªLî<Œ8¶uRëÐ÷Çw·7K÷Vã‹‘Ñœ|Å’¥Hc4L^<ÆÿN£ÓIwuâ <å à}®ÿ¾N9oŠ†~ÛÚEÜ w®êH™ ]œ´„ÒÄ@v…—;8#“9¢
ÄòñÝŒ( jöÑä¸#‘—ÈkYa:ŒuðÚÛú$=°D[‹…-|øØr‹cËž ÉÃ}ý²a YºìŨáŽ/$Ûõ-Wù²Æ”=Ê[0^ÊÈB†qRTs"Kˆáˆ+ÔÈyæp&2”MÓÌÈ™¤”í‚Êì–HŒè– gžŠÔ²,·ÒvR‘Sš*v ÇôËÆÞÅ“Q“¯±å¾nfà"OÑ ü½4¥ö•< é!KùÖùä³u„¬swt·d]B¹Ÿ¹˜ Æïeü‘%LX¦‡D€Ž`e×µãöÜGÝaæCÕ°IõîòÍ•ßʺÞ)t…‹]tbÂq´Æy3îó6Ø/Ä*_T†' Pj†‡x¼*¨ÂU-Jà ý&JØ%á'ZÌ1Pž=rl6Æýaƒ†Ž¯»Lÿá¯ÎV‚ؾ['ÁÀ…=ÜV÷M*ÒïÐÙäðQX )ü̞צ“t”>!ªºå„4¶œëJÈÁ[<ý²ì#w¯ŸöÞ|ŬâvÒ‡$¡á<æ±Ïç®FbèØÕ{6˜†ÅJ×úLºíxú‡ Ñ¡ÉOÃúÝã–v49*”§Höå ¸ï9½„ÇN$ž H 7âŸûo;Y¡åro1(àá!c$” ;‹ìe,2I$çjŠšà8‰‡ƒœØ&î?8¨Ÿ9$àH’·ûÓ_¼¹«¯v4yIþz€ŸÚÙ}ßPªKKf;êíÀîlê¦ ñ¶Bt÷ƒw”Y3”™.ÊE?Žà¨³ÏŽUÎ,„$þTÅKGÈž5%ÇË!2
:~qÁ֥莋&¹‘!H=Ü fa=å*Ú;Éä IS˜—¸
Ü×7'ZêQ&pî!ù¶Êíc®Ü¶¨ö£V ý!`w†%ge§XÏßÉ_l@{ PìãÿWÅ¡ãqÿ!I¼ë7‘V
÷”¢!S½%SI‚È~'ÌU$’r'éj’ jµ’'6àÄš Çgú³ŠK|:Ê9ÿðul›S@¼@¹k¬|†œ™|±¥'vk1ñª˜Ð•ds½BJ ¥¢2ò6ŠÛ㔪?m!¼‘H)ïè‰kã^—žßZ~º¥¸œþzÉ sBdɺËß1 :,àÈÞçλ/æ<þÖ(+(ÿ2Å ‚Æ~ꋆSj\Cš¬-0j[#o9Ga‡‰;ëþ5‡»¯UdÔÕ)KBÿ›Ý„2ç?Eœ@¼ t|&êBÙÓ³ÖveÞÊ?.$£DKÌA–à ¼UNH,%û%±c@d?U°}E¢¼\`•Ó þàA&‘ÁÎJRÌ´’\¶ÿåC‘“Ô±d)”™Ÿ¦©“´¤¤…“?œò:PêiöT_gTÿõoÑ
endstream
endobj
38 0 obj <<
/Type /Page
/Contents 51 0 R
/Resources 50 0 R
/MediaBox [0 0 612 792]
/Parent 61 0 R
/Annots [ 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 45 0 R 46 0 R 44 0 R 47 0 R 48 0 R 49 0 R ]
>> endobj
39 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [85.254 316.606 123.201 326.631]
/A << /S /GoTo /D (cite.Ciup11a) >>
>> endobj
40 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [106.83 292.696 143.671 302.721]
/A << /S /GoTo /D (cite.CPLOM:08:PRTOOS) >>
>> endobj
41 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [148.96 292.696 189.149 301.543]
/A << /S /GoTo /D (cite.CMOP:08:FFMTRTUR) >>
>> endobj
42 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [238.709 292.696 263.545 301.543]
/A << /S /GoTo /D (cite.DBLP:conf/iceccs/Oriol2010) >>
>> endobj
43 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [264.87 291.197 270.848 303.132]
/A << /S /GoTo /D (Hfootnote.1) >>
>> endobj
45 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [248.102 244.875 288.291 253.722]
/A << /S /GoTo /D (cite.CMOP:08:FFMTRTUR) >>
>> endobj
46 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [257.047 196.935 296.647 207.079]
/A << /S /GoTo /D (cite.Blac09a) >>
>> endobj
44 0 obj <<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [57.487 161.203 133.841 175.001]
/Subtype/Link/A<>
>> endobj
47 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [396.904 408.207 403.878 419.111]
/A << /S /GoTo /D (section.2) >>
>> endobj
48 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [544.331 372.342 551.305 383.246]
/A << /S /GoTo /D (section.3) >>
>> endobj
49 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [356.749 137.021 363.723 147.925]
/A << /S /GoTo /D (figure.1) >>
>> endobj
52 0 obj <<
/D [38 0 R /XYZ -19 793 null]
>> endobj
56 0 obj <<
/D [38 0 R /XYZ 54 538.882 null]
>> endobj
57 0 obj <<
/D [38 0 R /XYZ 54 526.517 null]
>> endobj
2 0 obj <<
/D [38 0 R /XYZ 54 381.299 null]
>> endobj
59 0 obj <<
/D [38 0 R /XYZ 58.483 174.503 null]
>> endobj
6 0 obj <<
/D [38 0 R /XYZ 317.014 329.3 null]
>> endobj
10 0 obj <<
/D [38 0 R /XYZ 317.014 299.433 null]
>> endobj
50 0 obj <<
/Font << /F69 53 0 R /F70 54 0 R /F72 55 0 R /F7 58 0 R /F77 60 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
74 0 obj <<
/Length 4076
/Filter /FlateDecode
>>
stream
xÚ[[㸕~ï_á—\@™Í‹®³I€éMw¶ƒ$[SÌäAeÉ.%¶äHòÔÖ.ö¿çÜ(É*UO•m0ïäáGžÉ#½Ø.ôâ´„Ÿî?|üëEªÒÈF‹ûÍ"±±J»Å}¾øiyÿXT7« °Ë®h»–£YS`Ä,×M‘uEιϮ³Ý®¬¶œØÝc··ÒÇ£4u¶ÏžoþvÿG geŒJÃ^?ëܬlª¹Fš¢;6Uˉ_nl¸ÌvÇBÒY•OªwM•ž*N7&\þϺ8te]µŠ3lØ
„F—i‰Åúˆo9ÿ‰ÐÁXÆAUЀœ(«¶Ëªu!)é«ÇŒ2;Š<'¤DLJ–çغhÙÕÒ,!2Œ‚©<벇¬-'ïo½”yÑ;¬¤&Ð}4œÈ8ØÜ ò¸ëæ𠨻ÄH°‰—›úXå·\B4a$/Ö;Ø$9Wá~cÀÉ÷Uå94ź®òÁügꬹ1Ér{ÜÂÃ
?pù1J{ÒEéòØ9Ô6ãlˆü§F”