%PDF-1.6
%
2 0 obj
<>
endobj
12 0 obj
<>stream
2016-03-14T09:46:14Z
Canon
2016-03-14T09:57:35Z
2016-03-14T09:57:35Z
uuid:a32a52cf-2a3b-49cc-ace2-c2d83ae3d045
uuid:0e472c98-bff1-4aa0-9644-184d715318a1
application/pdf
endstream
endobj
3 0 obj
<>
endobj
213 0 obj
<>
endobj
214 0 obj
<>
endobj
377 0 obj
<>
endobj
553 0 obj
<>
endobj
704 0 obj
<>
endobj
558 0 obj
<>
endobj
705 0 obj
<>
endobj
706 0 obj
<>
endobj
707 0 obj
<>
endobj
708 0 obj
<>
endobj
709 0 obj
<>
endobj
710 0 obj
<>
endobj
711 0 obj
<>
endobj
745 0 obj
<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]/Subtype 754 0 R/XObject<>>>/Type/Page>>
endobj
746 0 obj
<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]/Subtype 759 0 R/XObject<>>>/Type/Page>>
endobj
747 0 obj
<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]/Subtype 764 0 R/XObject<>>>/Type/Page>>
endobj
764 0 obj
<>stream
lrwesl
132
[Tec07] EscherTechnologies.Perfectdeveloper. http://www.eschertech.com,2007.
Bernard Pagurek Tony White. Towards multi-swarm problem solving innetworks. Systems and Computer Bngi,neeri,ng, Carleton Uni.uersitg, Igg8.
[Two07] Reel Two. www.reeltwo.com, 2007
lrxNo4l
D. Marinov T. Xie and D. Notkinl. Rostra: A framework for detecting redun-dant object-oriented unit tests. EEE Conf. on Automated, Sofware Engi,neering(ASE'00.,2004.
[VHBP0O] W. Visser, K. Havelund, G. Brat, and S. Park. Java pathfinder - second gene-ration of a java model checker,. Technical report, NASA, 2000.
lwil0TllwM43l
Joe Wilcox. http:llrrews.zdnet.co.uk/software/0,t000000121,2083814,00.htm,2007.
Walter Pitts Warren McCulloch. A Logical Calculus of ld,eas Immanent, i,nNeraous Acti,ui,ty. Bulletin of Mathematical Biophysics, 1943.
endstream
endobj
765 0 obj
<>/Filter/CCITTFaxDecode/Height 3468/Length 19588/Name/Obj250/Subtype/Image/Type/XObject/Width 2412>>stream
[B?j9jUWڏW 4 o~?ZajaiGi"3R4Y '>&<|-j8ĮAޭ_*/L%k8XTir\u.]DmriKұTYX_lR馢a*[Qޏ[JkRj#d%P-PTKNNd!#AwdW.GdOjd4fE3b;60L;S.D'ݯj52/CowjWYA"+(QI 丗d弖Ç!3R93NL /n6-
馪+NnAN 2&t=s]ZIyUy%z]
^h"qffa3c8C#\yΌe4DR1
R!Ǒ 3hHh\dSUz^8N, x&8
NvCګM*DDh=4BK:_O8oKIh'I|%MF<2sOXd +
RM6@#d'h2<
2PiH6t] !(r 44O(6BXJKӵޗӺVڻOMOiզ
맧dcta_'v_t}+}wzjޖ/+i]:W^io^?ҿ_nC_uZ_o(%{*$*kj/_:EýeUV^c"
/6_Ў>ԵjX'W^XƲc<.
d/@_ZK}^\]}<㵹Ɉ}rbjںﯶ{j]kR&յյZu^ӵM6մk:-m+K[J鶡nmWJJCڭJjii:VUVmo[HYaiyˆ0a20LPa$l5l00"10\
&L0aa @JI0A&AH7m[Ir: M1LBbbXL1]lRlBM0E4Rj1QL\V+ziLTB*64lR1L0iLP@@m&_Z a vA3
23j~L a2c厩 ]2pM8h0L:
;N8Mmm44tTjM0b""4"""""""""""""(1edhGRĖic`ez$ h24+?! ezezezeha;^ƛuC("
\D~zm/
BidAѭ =ء2+*]Gj"?n̞#
ߢ.Ιĥ$[|!d/ΨFG0ЙG3P!ڣ.`n02y@]jBI6S"y5i6֟M?'A$IDNQ>0瑎Krݤno۸miOӧw>ҵkmM<ЏR}KݯFRgTh _X8#"Losx[G̛_02C
jp!#f(y9DMgNSh͔
HgL5Fg?)K$.==}qhXM;kvA84`N*!4..,jXLBM=
B6$x`e0" &|.\LD
lB,&|S #!xfV$I.܂?$;gFM4Ma
E몪M4hZqxMO ꚨL*O vzmwiAm._|dp7m4tK4[:/Sy hVXz%
&7Q(3ƓlxkdVl&wdvpIh4#=|2dw
[F<4v1m
M
:'mÆD۫oiI+]6WPm:M}'j]ޟ-
'އ_?}MJ
]A5x}tTM߷&]iuv_uW=u]t]ޭX0/_u/տ$_&zG8}|
_~hzG:t]?DAY^CnkKQߓ_F/boDX~GM?_U3@
__>aof__x't&0TiA?&
e'~NM 42u֗ꫭ^Uku3Z|V"aHQhX c#vCDz-,q,v(?Dz$/"<*VUA`@\aZA<M0)P^$ҩ]Iҩt\}BI:UAByrPItJEtXPVwi'iݺOKꟴiҪK꾿%Th--RBKJKKI'^.KzUkV^%W iz__]/KKz~륯.oot:P*%ZJ_mI%o_It2y*i.u/UtzKO}_Rmk'XmRUiRji
kijJU^}oPPƨkĖ)V)(֕C^y
_5BӪK=`)im-
MV$Zjm&tꖻ_ץ_!z
+Hk#~KW'Z}>UV_kDu^Tj֚\OZXj߫rcW$~J^I%,E]}VM:K~)c-x~q16֠k@_kZWu^R_KW$gۤsS:0_W/ sޫ
K]R!ki~BK?ҽS%I$t:-#cJ7iyHV=Z]-/-%KU_'%K/K3y%ҥ[]/]r}%ֺiy~M6vZ[Jk]zZVU~Oҵ[K_}tJ-~T?mگw]Kӥ.-C iz𗭯vU__t]SM-SMA;Ҡp
IaK-RCl%Vm.4%itzzJ0-&=4ئ)݊+cb☨"X)☥Kcb+bb)b1\TTlRqQQV-N XIm4MUV:jgNa0a0M28L&jH&vMm0!ԊꝦTT44LWLSDDDDDDDH6""""""""#.JaB"""Ѓ&]2((VQ# `Yr""""I"4LKMLiKIIi|$ҭ!1TT3qXZ#/*i,Z6)_#e KAsxQꁒᘙ]:+w9;}t(C
exPw :%o6~r}4J2QT}n^A6_}/i=?뵹=OFK~T=mDR隑6Lg`Cdg
2";=P,$"$pȎE7"S@![g*a8-W~:a?BN5[B44hXLW/h)(H9"J%~GZ%mE&h4 KIvl4MM4IoL6m})'I;RPo鶚tKީ{KKI?o_ץW_V]xK~|{R_?tw_ץM%}-5_I\D5]zKxõ/mnn6џGO>kP^}oT$/mO
SW}m}pECOOiMCO<&~ꛮKOjUJV.uDMML4m.Uئ'be@0w
A
v0Ak߷vؠkb)'i1]yh4ؚh0R14M544'kph0]=L-"""84!G"X1j?RZ3 eLU|T#"[b
|g!%)A+B3GTDGv2!ŁȰ̂VG~Vo!43Ds 5R
ЋBгD0D0L&
vU}u?Nti;DhVCq5nNnNȶY].O|8`$N9r~KTlmo@kXy7aVIꃼ/pۃJA~_O~][oлݴk[ڏ8-sǮ>?KoVحB#5ff}Ѭb|:Nȴa)"
gB$e:3GejvƷ/}zІ
\2|S-FN
'͌f8Dwˣ`4
T2Y"`K3oUAMUBIwUi}L~K3EAX+1Vp$YXB hd(#2JtG