I ndo ne s i a n J o ur na l  o f  E l e c t r i c a l  E ng i ne e r i ng  a nd C o m p u t e r  Sc i e nc e   V o l.   11 ,  N o.   1 J ul y   201 8 , p p 308~ 3 17   I SSN :   2502 - 4752 D O I :  10. 11 591/ i j eecs . v 11. i 1 .p p 308 - 3 17          308       Jou r n al  h om e p age h ttp : //ia e s c or e . c om / j our nal s / i nde x . php/ i j e e c s   A P ro po s ed J a v a  St a t ic Sli cing  App ro a ch       B as e m  A l o k u s h ,  M oh a m m a d  A b d al l ah ,  M u s t af a A l r i f ae e ,   M os a S al ah   Al - Z a y t oona h U ni v e r s i t y  of  J or da n ,  A m m an ,  J o r d an       A rt i cl e I n f o     AB S T RAC T   A r tic le  h is to r y :   R ecei v ed   N o v 6 ,  201 7   Re v i s e d   J a n 8 ,  201 8   A ccep t ed   M ar  1 7 ,  2 01 8       P r og r a m  s l i c i ng  i s  t o a bs t r a c t   a  pa r t  of  s our c e  c ode  de pe ndi ng  on t he  poi n t  of   i n t er es t .  I t  u s ed  w i d el y  i n  m ai n t en an ce,  d eb u g g i n g  an d  t es t i n g .  T h er e ar e   m an y  s l i ci n g   t e c hni que s  s uc h a s  s t a t i c ,  dy na m i c ,  a nd a m or pho us .  I n t hi s   pa pe r ,  w e  c hoos e  t o de v e l op a  ne w  a ppr oa c h a ppl y i ng  s t a t i c  s l i c i ng  on J a v a   pr og r a m s .   T he  ne w  a ppr oa c h s i m pl i f i e s  t he  da t a  de pe nde nc y  us i ng  a r r a y s .   A   n ew   T o o l  cal l ed  J av a M u l t i - S l i ci n g  T o o l  ( J av aM S T )  ha s  be e n i nt r od uc e d t o   a ppl y  t hi s  a ppr oa c h.   J av aM S T  p r es en t s  n e w   w a y s  t o  s l i ce an y  s i m p l e j av a  co d e s eg m en t ,  i t  al l o w s   y o u  t o  ex t r act  t h v ar i ab l es  an d  i t s  d i r ect  an d  i n d i r ect  d ep en d e n ci es  f r o m  t h e   c ode ,  us i ng  ba c k w a r d,  f or w a r or  bot h s l i c i ng  t e c hni q ue s   t o pr oduc e  t he   ne e de d c ode .  T hi s  t o ol  i s  a  s i m pl e  t o ol   de s i g ne d t de a l  w i t h s i m pl e  j a va   co d e s eg m en t s .  J av aM S T  can  b e r u n   u n d er  an y  o p er at i n g  s y s t e m  an d  d o es   n o t  r eq u i r e a s p eci al i zed  p l at f o r m s  o r  p l u g - in s .  T h e r e f o r e ,  it is  u s e f u l to  b e   us e d f or  e duc a t i o na l  pur pos e s .   Ke y wo rd s :   D i r ect  an d  i n d i r ect  d ep en d en c y   F o r w ar d  an d  b ack w ar d  s l i ci n g   S ta tic  s lic in g   C opy r i g ht   ©  201 8   I ns t i t ut e  o f  A d v anc e d E ngi ne e r i ng  an Sc i e nc e   A l l  ri g h t s re se rv e d .   Co rre sp o n d i n g  Au t h o r :   B a s e m  A l oku s h ,   Al - Z a yt o o na U ni ve r s i t y o f  J o r d a n,     A m m a n,  J o r d a n.   E m a il:  m . ab d al l ah @ zu j . ed u . j o       1.   I NT RO D UCT I O N     P r o g r am  s l i ci n g  i s  a n  ab s t r act i n g   m et h o d  ex t r act s  a p i ece o f  co d e,  f r o m  a p r o g r a m ,  t h at   f o cu s  o n  a  s u bs e t  of  t h e  pr og r a m  be h a vi or  or  v a r i a bl e   [1 ] .  I n  1979,  W e i s e r   [2 ]   i n t r odu c e d t h e  pr og r a m   s l i c i n m e t h od a s   w a y  t o  ab s t r act  a v ar i ab l e - r e l at ed  p i ece o f  co d e p r es er v i n g   t h e b eh a v i o r  an d  s y n t a x .  T h e s t at i c s l i ci n g   m ea n s   t h at  al l  p o s s i b l e s l i ced  v ar i ab l e v al u es  a n d  p r o g r a m  e x ec u t i o w i l l  b e  t a ke n i nt o  a c c o u nt   [3 ] .  A   s lic e d  v a r ia b le   i s  t h e p o i n t  o f  i n t er es t ,   w h i c h  i s  cal l ed  as  a  s l i ce.  T h e s t at i c s l i ci n g  p r o d u ces  a s  a r es u l t  o f  a  s u b - p ro g ra m   d ep en d i n g  o n  t h e s l i ce an d  d el et es  al l  i r r el ev a n t  s t at e m e n t s   [ 1] .   I n  s ta tic   s lic i n g ,  t h e   f ir s t s te p  is  to  id e n ti f y  t h e  p o in t o f  in te r e s t.   A  p o in t o f  i n te r e s t i s  th e   v a r ia b le  to   b e  s lic e d  ( V )   a n d  th e  lin e  n u m b e r  t h a t th e  v a r ia b le  is  p la c e d  ( L ) ,  th is  c a lle d  s lic in g  c r ite r ia  f o r  th e  s lic e  S ( V ,   L )   [4 ] .  A  S t at i c s l i ce can  b e e x ecu t ab l e o r  n o n - ex ec u t ab l [5 ] .   T h e ex ecu t ab l e s l i ce  m ean s  t h at  t h e s l i ce t h a t   h as  b ee n  p r o d u ced  can  b e co m p i l ed   a nd  r u n.  O n t he  o t he r  ha nd ,  t he  s l i c e  t ha t  i s  no n - e x ecu t ab l e ca n n o t  b e   c o m p ile d ,  b u s till  u s e f u l to  u n d e r s ta n d  th e  s l ic e  e f f e c t.   I n  s t at i c s l i ci n g ,  t h er e ar e m a n y  d i f f er e n t  t y p es ,  t h f r eq u e n t l y   u s ed  t y p es  ar e B ack w ar d ,  F o r w ar d ,   C on di t i on e d,  D e c o m pos i t i o n ,   A m or ph ous ,  a n d Q u a s i  S l i c i ng   [6 ] .   P r o g r am  s l i ce i s  co m p u t ed  b y  an al y zi n g  d ep en d en ce r el at i o n s  b e t w e e n  p r o g r a m   s ta te m e n ts .  A t t h e   ear l y  er a o f  p r o g r am  s l i ci n g ,  W ei s er   [2 ]   u s ed  t h e f l o w   g r ap h  t ech n i q u e t o  an al y ze t h e p r o g r a m  t o  p r o d u ce t h s lic e .  H e  d r e w  g r a p h s  a n d   w r ite  e q u a tio n s  to  e x p la in  t h e  s lic i n g  te c h n iq u e s .  F o llo w e d  b y  O tte n s te in  a n d   O tte n s te i n   [7 ]   w h er e t h e y   u s ed  d at a d ep en d en ce g r ap h  as  a t ech n i q u e f o r  p r o g r a m  s l i c i n g.   S ub s e q ue nt l y,   ne w  p r o gr a m   s l i c i n g t e c hn i q ue s   ha ve  b e e n i nt r o d uc e d  s uc h a s  D yna m i c   S l i c i n g a nd   C o n d itio n   S lic i n g   u s i n g  d a ta  a n d  c o n tr o l f lo w  d ia g r a m s   [ 8,  9] .   Evaluation Warning : The document was created with Spire.PDF for Python.
I nd o ne s i a n J  E l e c  E ng  &  C o m p  S c i     I SSN :   2502 - 4752     A  P r opos e d J av a St at i c   Sl i c i ng A ppr oac h   ( B as e m  A l ok us h )   309   O t h er  r es ear ch er s ,   h ad   u s ed  d at d ep en d en ci es  co m p u t at i o n s   t o  i n t r o d u ce  t h e i n cr e m e n t al  s l i c i n g ,   w h ic h  is  a  s ta tic  s lic i n g   th a t  c o m p u te s  a  s lic e  in   s e v e r a s te p s ,  b y  in c o r p o r a tin g  a d d itio n a l t y p e s  o f   d a ta   d ep en d en ci es  at  each   s t ep ”  [ 10] .   I [ 11]   t h e r es ear ch er s   i n t r o d u ced  t h e p r o g r a m   s l i ci n g  f o r  O b j ect - O r i en t ed  P r o g r am s ,  J av a  p r eci s el y ,   u s i n g  t h e d at a d ep en d e n ce an al y s i s .  T h ei r  p r o p o s ed  m et h o d  h as  b as ed  o n  d y n a m i c d at a d ep en d en ce an al y s i s   an d  s t at i c co n t r o l  d ep en d en ce an al y s i s .  W h er e i n   [ 12]   t he y us e d  t he  d e p e nd e nc y   gr a p h s t r uc t ur e  t o  c a p t ur e   t h e d at a f r o m  t h e s o u r ce co d e.   A  to o l to  p r o d u c e  a  lig h t w e ig h t s lic e   u s i n g  p r og r a m  a n d s y s t e m  de pe n de n c y  g r a ph  t o pr odu c e  a  l i s t   o f  l i n n u m b er s ,  d ep en d en t   v a r i ab l es ,  al i as es ,  an d  f u n ct i o n  c al l s  t h at  ar e p ar t  o f  t h e s l i ce f o r  al l  v ar i ab l es  b o t h   lo c a l a n d  g lo b a l f o r  th e  e n tir e  s y s te m .  T h e   m e th o d  is  i m p le m e n te d  a s  a  to o [ 13,  14]   C he n a nd  X [ 15]   p r o p o s ed  an  ap p r o ach  t o  s l i ce  ap p r o ach  t h e O b j ect - O r ie n te d  p r o g r a m s   w r itte n  i n   J av a.  T h ey  p r o d u ced  an  ap p r o ach  t h at  i s  d i s t i n g u i s h ed  d at m e m b er s  f o r  d i f f er en t  o b j ect s .  F u r t h er m o r e,  t h e y   de v e l ope d a   m ode l  t o pr odu c e  a  c l a s s  s l i c i ng ,  obj e c t  s l ic i n g  i n  a d d itio n  to   s ta te m e n s lic i n g   f o r     J av a p r o g r am s .   A n o th e r   w a y  to  lo o k  a t th e  s t a tic  s lic i n g  i s  to  lo o k  a t th e  s l ic in g  s e m a n t ic  a n d  n o ta tio n s .   I n   [ 16]   t he   r es ear ch er s  i d e n t i f i es  an d  cat e g o r i zes  d i f f er e n t   n o t i o n s  o f  a  p r o g r am  s l i ce  av a i l ab l e i n   t h e   lite r a tu r e  a s   w e ll  a s   s e ve r a l  ne w   no t i o n s .   I n  a ddi t i on  t o pr e v i ou s l y  pr op os e d t ool s ,  t h e r e  a r e  of f - t he - s h e l f  to o ls  th a t r u n  s ta tic  s lic in g  F o r  J a v a   p ro g ra m s .  W A L A   [ 17]   i n cl u d es  a s l i cer ,  b as ed  o n  co n t ex t - s e n s iti v e  ta b u la tio n  o f  r e a c h a b ilit y  i n  th e   s y s te m   d ep en d en ce g r ap h .  I t  al s o  h as   b een  ex p an d i n g  t h e s et  o f  W A L A  t o o l s  i m p l e m e n t ed  i n  J av a S cr i p t .   I nd us   [ 18]   i s  a n  e f f or t  t o pr ov i de  a  c ol l e c t i on  of  pr o g r a m  an al y s e s  an d  t r an s f o r m at i o n s  i m p l e m en t ed   i n  J av a t o  cu s t o m i ze an d  ad ap t  J av a p r o g r a m s .  I t  i s   i n t e n d e d  t o  s er v e as  an   u m b r el l a f o r   s t at i c a n al y s es   s u c h   a s  p o in ts - t o  an al y s i s ,  es cap e an al y s i s ,  an d  d ep en d en ce an al y s es ,  t r an s f o r m a t i o n s   s u c h  as  p r o g r a m  s l i c i n g a nd   p r o g r am  s p eci al i zat i o n   v i a  p ar t i al  ev al u at i o n ,  an d  an y  s o f t w ar m o d u l t h at  d el i v er s  t h e   a n a l y s e s / tr a n s f o r m a tio n s  in to   a  p a r tic u la r  a p p lic a tio n  o r  p la t f o r m .   K av er i   [ 18,  1 9]   i s a n E c l i p s e  pl ug - i n f r o nt - e n d  f o r  th e  I n d u s  J a v a  s lic e r .  I t u tiliz e s  th e  I n d u s  p r o g r a m   s l i cer  t o  cal c u l at s l i ce s  o f  J av a p r o g r a m s  a n d  t h en  d i s p l a y s  t h e r es u l t s   v i s u al l y  i n  t h e ed i t o r .  T h e p u r p o s e o f   th is  p r o j e c t is  to  c r e a te  a n  e f f e c tiv e  to o f o r  s i m p lif y i n g p r o gr a m   und e r s t a nd i ng,  p r o gr a m  a na l ys i s ,  p r o gr a m   d e b uggi n g a nd  t e s t i n g.   R ecen t l y  s t a t i c s l i ci n g  h as  b een  u s ed  i n  O b j ect - O r i e nt e d  r e gr e s s i o n t e s t i ng  [ 20] .  M o r e o ve r ,  ne w   s ta tic  s lic i n g  te c h n iq u e s   w e r e  in tr o d u c e d  in   w e b  a p p lic a tio n  s lic in g   [ 21] ,   m ach i n e c o d [ 2 2] ,  s o f t wa r e   r o b us t ne s s  m e a s ur e m e nt   [ 23,  24] ,  a nd   J a va  p r o gr a m s  q ua l i t [ 25,  26 ]   a n d  o th e r  a p p lic a tio n s   [ 27] .   T h e p r o b l em :  T h e r ecen t   pr og r a m  s l i c i n g  t ool s  a r e  us i n g   a  pa r t i c u l a r  t y pe  of  pr og r a m s ,  s u c h  a s   K av ar i  o n l y  r u n s  as  a  p l u g i n  i n  ecl i p s v er s i o n  3 . 2 .  T h er ef o r e,  i t  i s   n o t  eas y  t o  d eal   w i t h  t h e m  es p eci al l y   f o r   s l i ci n g  a p i ece o f  a p r o g r a m .   T h e   P r op os e S ol u t i on :   I n   t hi s   pa pe r ,   w e   h a v e   pr opos e a   n e w   t e c hn i qu e   t s l i c e   J a v a   pr og r a m s ,   u s i n g  an  al g o r i t h m  t h at  ch ec k s  t h e d ep en d en c y  o f  v ar i ab l es  d i r ect l y  an d  i n d i r ect l y .       2.   J AVA M UL T I - S L I C I N G   T O O L ( J A V A M S T)   J av aM S T ;   J av Mu l t i - S l i c i ng  T o ol ,   c a n   r u n  o n   a ny   ope r a t i n s y s t e m  or   pl a t f or m .   J a v a M S T   m ai n   p u r p o s e  is  to  s lic e  th e  e q u a tio n s  f r o m  a n y  J a v a  f ile  o r  te x t f ile .  I t a llo w s  s lic e  t h e  f il e  u s i n g  b a c k w a r d ,   f o r w ar d ,   o r   b o t h   s l i c i n g  t ec h n i q u e s .   I t   d et er m i n es  a l l  t h v ar i ab l es ,  t h ei r   d i r ect   d ep en d en ci es ,  a n d   i n d i r ect   d ep en d en ci es ,  an d  t h en  p r o d u ces  t h n eed ed  co d e.  I n  p r ev i o u s   w o r k   [ 28]   w e  i nt r o d uc e  t he  J a va B S T ,  w h i c h i s   a  t e c hn i qu e  on l y  t o ba c kw a r s l i c e  t h e  J a v a  pr og r a m s .  I n t hi s  pa pe r ,  t h e   s t a t i c ,  ba c kw a r d,   a n d f or w a r d s l i c i ng   w a s  i nt r o d uc e d  f o r  J a va  p r o gr a m m i n g l a ng ua ge .     T h e J av aM S T  al g o r i t h m   i s  d i v i d ed  i n t o  f i v e   m ai n  s t a g es ;  S t ag e 1 ;  d ef i n e t h e p at h  o f  t h e   co d e f i l e.   S t ag e 2 ;  d et er m i n e s   f o r  al l  t h e v ar i ab l e s ,  i t s  d i r ect  d ep en d en t s .  S t a g e 3 ;  d et er m i n e s  f o r  each  v ar i ab l e,  i t s   i n d i r ect  d ep en d en t s .   S t ag e  4 ;  s el ect  s l i c i n g  cr i t er i a  ( w h i c h  v ar i ab l e,   at   w h i ch  l i n e,  a n d   s l i ci n g  t ech n i q u e) .   S t ag e 5 :  p r o d u ce t h e   r e s u lt c o d e  a n d  c o p y  it to  a  n e w   f ile .     T o  b u i l d  t h e J av aM S T  al g o r i t h m ,   w e cr eat ed  t w o  ar r a y s  t h e  f i r s t  cal l ed  r es u l t C o d e,   w h i c h  s t o r e t h l i n es   n u m b er  a n d  t h e  co d e l i n es  af t er  t h e  s l i ci n g ,  a n d  t h s eco n d  ar r a y  ca l l ed  al l V ar i ab l es ,   w h i c h  co n t a i n s   o b j ect s   o f  a cl as s  cal l ed  V ar .     T h e V ar  cl as s  co n t ai n s :     1)   N a m e o f  t h e v ar i ab l e.   2)   L i n es  ( a l i s t  co n t ai n s  t h e l i n e s   w h er e t h i s  v ar i ab l e i s  d ecl ar ed  o r  as s i g n ed  a v a l u e) .   3)   D i r ect  d ep en d en t s  ( an  ar r a y   w h i ch  co n t ai n s  t h v ar i ab l es  a n d  t h ei r  l i n es  n u m b er ,   w h i c h  c u r r en t   v ar i ab l de pe n ds  on  di r e c t l y ) .   4)   I n d i r ect  d ep en d en t s  ( an  ar r a y   t h at  co n t ai n s  t h v ar i ab l es  an d  t h ei r  l i n es   n u m b er   w h i c h  c u r r en t  v ar i ab l de pe n ds  on  i n di r e c t l y ) .   Evaluation Warning : The document was created with Spire.PDF for Python.
                      I SSN :   25 02 - 4752   I nd o ne s i a n J  E l e c  E ng  &  C o m p  S c i ,   V o l.   11 , N o .   1 J u l y  2018   :   30   217   310   T o  c la r if y  t h e  a lg o r it h m ,   w e   w ill u s e  t h e   f o l l o w i n g e xa m p l e   a s  s ho w n  i n F i gur e  1 :           F i g ur e   1 .  C o d e t o  b e S l i ced       F i r s t S ta g e ;  D ef i n e t h e p at h  o f  t h e co d e f i l e ( t h e t ex t  f i l e o r  t h e J av a f i l e t h at  co n t ai n s  t h e c o d e) .       A l l V ar i ab l e s  ar r ay     Na m e   Li n e s   D i r ec t   I n d i r e c t   a   1   6     Na m e   Li n e   N u ll   N u ll     Na m e   Li n e           Na m e   Li n e s   D i r ec t   I n d i r e c t   b   2   8   1 2     Na m e   Li n e   c   8   b   1 2   d   1 2     Na m e   Li n e           Na m e   Li n e s   D i r ec t   I n d i r e c t   c   3   7   9     Na m e   Li n e   a   7   c   7   b   9   a   9     Na m e   Li n e           Na m e   Li n e s   D i r ec t   I n d i r e c t   d   4   1 0     Na m e   Li n e   c   1 0     Na m e   Li n e           Na m e   Li n e s   D i r ec t   I n d i r e c t   f   5   1 1     Na m e   Li n e   d   1 1     Na m e   Li n e             F i g ur e   2 .  Al l   V ar i ab l es  A r r a y  ( D i r ect   D ep en d en t s )           1   in t a ;   2   f lo a t  b ;   3   d o u b l e  c  =   5 ;   4   f lo a t  d ;   5   i n t  f  =  12 ;   6   a   =  2 0 ;   7   c   = a  +  c ;   8   b  =  b  *  c ;   9   c  =   b   +  (a  /  4 );   1 0   d  = c     3 ;   1 1   f  =   d  % 2 ;     1 2   b  =  b  +   d;      Evaluation Warning : The document was created with Spire.PDF for Python.
I nd o ne s i a n J  E l e c  E ng  &  C o m p  S c i     I SSN :   2502 - 4752     A  P r opos e d J av a St at i c   Sl i c i ng A ppr oac h   ( B as e m  A l ok us h )   311   Se c o nd St a g e ;   F in d  a ll th e   v a r ia b le s  a n d  its  d ir e c t d e p e n d e n ts .       W h ile  n o t e n d  o f   f ile   {   R ead  l i n e.   I f  t h e c u r r en t  l i n e i s  a d ecl ar at i o n  o f  a v ar i ab l e t h e n           {            C r eat e an  o b j ect  f o r  t h i s  v ar i ab l e l et  u s  cal l  i t  ( V ) .       A d d  ( V )  t o  t h e al l V ar i ab l es  ar r ay .     A d d  th e  c u r r e n t li n e  n u m b e r  t o  th e  lin e s  lis t o f  ( V ) .     I f  t he  c ur r e nt  l i ne  c o nt a i ns  a e q ua t i o n t he           {   G et  t h e v ar i ab l n a m e b e f o r e t h e eq u al   s i g n  ( = ) ,  le t u s  c a ll it  ( B V ) .   G et  f r o m  t h A l l V ar i ab l es  ar r a y  t h e o b j ect   w i t h  a n a m e l i k e ( B V ) ,  l et ' s  cal l  t h i s  o b j ect  ( B O ) .       A d d  th e  c u r r e n t li n e  to  th e  li n e s  lis t o f  ( B O ) .     F o r  each  v ar i ab l e af t er  t h e eq u al  s i g n ,  d o  t h e f o l l o w i n g :     G et  t h e v ar i ab l n a m e ,  le t ' s  c a ll it ( A V ) .     A d d  ( A V )  a n d  cu r r en t  l i n n u m b er  as  a d i r ect  d ep en d en t  o f   ( B O ) .   }   }   }     t h e s eco n d  s t a g w i l l  p r o d u ce an  ar r a y  cal l ed  ( al l V ar i ab l es ) ,  s h o w n   i n   F i gur e  2 .     T hi r d St a g e ;  F i n d  al l  t h e i n d i r ect  d ep en d en t s  f o r  al l  t h v ar i ab l es .       W h ile  n o t e n d  o f   A llV a r ia b le s  a r r a y     {        G e t n e x t O b j e c t,  le t u s  c a ll i t ( V ) .        G e t th e  v a r ia b le  n a m e  o f  ( V ) ,  le t u s  c a ll it ( V N )   G e t th e   f ir s t li n e  n u m b e r  in  t h e  lin e s  li s t o f  ( V ) ,  le t u s  c a ll th a t lin e  n u m b e r  ( V L ) .   If  ((V N ) a n d  (V L ) n o t  i n  t h e   i n d ir e c t d e p e n d e n t lis t o f  ( V )  )  th e n   {   A dd ( V N )  a n d ( V L )  a s  i n di r e c t  de pe n de n t  of  ( V )   }   F o r  e a c h  v a r ia b le  in  t h e  d ir e c t d e p e n d e n t lis t o f  ( V )  d o  th e  f o llo w i n g :       G e t th e  v a r ia b le   n a m e ,  le u s  c a ll it ( D ) .   G e t th e  ( D )  lin e   n u m b e r ,  le t u s  c a ll it ( D L ) .   G e t f r o m   A ll V a r ia b le s  a r r a y  t h e  o b j e c t o f  ( D ) ,  le t u s  c a ll it ( O D ) .   G e t th e   f ir s t li n e  n u m b e r  in  t h e  lin e s  li s t o f  ( O D ) ,  le t u s  c a ll  th a t li n e  n u m b e r  ( L ) .   If  ((L ) <  (D L ))   {   G e t f r o m  t h e  o r ig i n a l c o d e  f ile  th e  c o d e  lin e  th a t e x is ts  a t t h e  lin e  ( L ) ,  le u s  c a ll t h a t c o d e  lin e  C o d e L .   G e t th e  v a r ia b le   n a m e   f r o m   C o d e L ,  le t u s  c a ll it ( V T ) .   I f  ( ( V T )  a n d   ( L )  n o t in  t h e  in d ir e c t d e p e n d e n t lis t o f  ( V )  )  th e n   {   A dd ( V T )  a n d ( L )  a s  i n di r e c t  de pe n de n t  of  ( V )   }     F o r  a ll th e  e le m e n t s  s to r e d  in  ( O D )  d ir e c t d e p e n d e n t lis t    do t h e  f ol l o w i ng :     {   G e t n e x t lin e   n u m b e r  f r o m  ( O D )  d ir e c t d e p e n d e n t lis t,  le t u s  c a ll it ( L ) .   If  ((L ) <  (D L ))   {   G e t th e  v a r ia b le   n a m e  o f  ( O D ) ,  le t u s  c a ll it ( V T )   I f  ( ( V T )  a n d   ( L )  n o t in  t h e  in d ir e c t d e p e n d e n t lis t o f  ( V )  )  th e n   {   A d d  (V T ) a n d  (L ) a s  i n d i r ect  d ep en d en t  o f  ( V )   Evaluation Warning : The document was created with Spire.PDF for Python.
                      I SSN :   25 02 - 4752   I nd o ne s i a n J  E l e c  E ng  &  C o m p  S c i ,   V o l.   11 , N o .   1 J u l y  2018   :   30   217   312     }   }   }   }     F l ag n e w I n D r i ect  = t r u e   //n e w I n D ir e c t is  a   f la g e   w i ll b e  s e t to  tr u e  if  a n y   n e w  //i n d ir e c t d e p e d e n t is  a d d  to  a n y  o b j e c t in  th e   a llV a r ia b le s  //a r r a y ) .     W h ile  ( n e w I n D r ie c t =  tr u e )   {   n e w I n D r i ect  =  f al s e   W h ile  n o t e n d  o f   A llV a r ia b le s  a r r a y     {        G e t n e x t O b j e c t,  le t u s  c a ll i t ( V ) .         F o r  e a c h  v a r ia b le  in  t h e  in d ir e c t d e p e n d e n t lis t o f  ( V )  d o  th e   f o llo w in g :       G e t th e  v a r ia b le   n a m e   f r o m  i n d ir e c t lis t,  le t u s  c a ll i t ( I ) .   G e t th e  ( I )  lin e  n u m b e r ,  le t u s   c a ll it ( I L ) .   G e t f r o m   A ll V a r ia b le s  a r r a y  t h e  o b j e c t o f  ( I ) ,  le t u s  c a ll it ( O I ) .   F o r  a ll th e  e le m e n t s  s to r e d  in  ( O I )  in d ir e c t d e p e n d e n t lis t  d o  th e  f o llo w i n g :     {   G e t n e x t lin e   n u m b e r  f r o m  ( O I )  in d ir e c t d e p e n d e n t lis t,  le t u s  c a ll it ( L ) .   If  ((L ) <  (IL ))   {   G e t th e  v a r ia b le   n a m e  o f  ( O I )  in d ir e c t lis t,  le u s  c a ll it ( V T )   I f  ( ( V T )  a n d   ( L )  n o t in  t h e  in d ir e c t d e p e n d e n t lis t o f  ( V )  )  th e n   {   A dd ( V T )  a n d ( L )  a s  i n di r e c t  de pe n de n t  of  ( V )   ne w I nD r i e c t  =  t r ue     }   }   }   }       T h e  th ir d  s ta g e   w ill  u p d a te  th e  a llV a r ia b l e s a r r a y ,  a s  s ho w n i F i gur e  3 .     F o ur t h St a g e ; S e le c t th e  v a r ia b le  ( V )  a n d  its  lin e  ( L ) ,  t h e n  t h e  s lic in g  c r ite r ia .   G et  t h e o b j ect  o f  t h e s el ect ed  v ar i ab l e ( V )  f r o m  t h e al l  v ar i a b l es  ar r ay .     I f  th e  s lic i n g  c r ite r ia  is  b a c k w a r d  s lic in g  t h e n   {   F o r  a ll th e   lin e s  n u m b e r s  s to r e d  in  th e  li n e s  li s t o f  t h e  s e le c te d  o b j e c t ( V )  d o  th e  f o llo w i n g :   {   I f  th e  c u r r e n t li n e  n u m b e r  i n  li n e s  li s t is  le s s  o r  e q u a l th a n  ( L )  a n d  th e  lin e    n u m b e r  is   n o t in  r e s u lt C o d e   ar r ay  t h en     {   G et  f r o m  t h e o r i g i n al  co d e f i l e  t h e co d e l i n w hi c h e xi s t s  a t  t he  c ur r e nt  l i ne   nu m b e r .   A d d  t h e l i n e n u m b er  an d  t h e c o d e l i n e t o  t h e r es u l t C o d e ar r ay .   }   }     F o r  th e  a ll  th e   v a r ia b le s  in  t h e  in d ir e c t d e p e n d e n t lis t o f  th e   s e le c te d  v a r ia b le  ( V )  d o  th e  f o llo w i n g :   {   Evaluation Warning : The document was created with Spire.PDF for Python.
I nd o ne s i a n J  E l e c  E ng  &  C o m p  S c i     I SSN :   2502 - 4752     A  P r opos e d J av a St at i c   Sl i c i ng A ppr oac h   ( B as e m  A l ok us h )   313   I f  t he  c ur r e nt  l i ne  n u m b e r  o f  t he  i nd i r e c t  d ep en d en t   v ar i ab l e  i s  l es s  t h a n  o r  eq u al  ( L )  an d  t h e l i n n u m b er  i s   no t  i n r e s ul t C o d e  a r r a y  t he   {   G et  f r o m  t h e o r i g i n al  co d e f i l e  t h e co d e l i n w h i c h  e x i s t s  at  t h e cu r r en t  l i n n u m b er .   A d d  t h e l i n e n u m b er  an d  t h e c o d e l i n e t o  t h e r es u l t C o d e ar r ay .   }     }     }   E ls e  if  t h e  s lic in g  c r ite r ia  is   f o r w a r d  s lic i n g  t h e n     {   F o r  a ll th e  lin e s  n u m b e r s  s to r e d  in  th e  li n e s  li s t o f  t h e  s e le c te d  o b j e c t ( V )  d o  th e  f o llo w i n g :   {   I f  t he  c ur r e nt  l i ne  n u m b e r  i n l i ne s  l i s t  i s   gr e a t e r  t ha n o r  e q ua l  ( L )  a nd  t he  l i ne   n u m b e r  i s  no t in  r e s u ltC o d e   ar r ay  t h en     {   G et  f r o m  t h e o r i g i n al  co d e f i l e  t h e co d e l i n w h i c h  e x i s t s  at  t h e cu r r en t  l i n n u m b er .   A d d  t h e l i n e n u m b er  an d  t h e c o d e l i n e t o  t h e r es u l t C o d e ar r ay .   }   }     F o r  th e  a ll  th e   v a r ia b le s  in  t h e  in d ir e c t d e p e n d e n t  lis t o f  th e   s e le c te d  v a r ia b le  ( V )  d o  th e  f o llo w i n g :   {   I f  t h e c u r r en t  l i n e n u m b er  o f  t h e i n d i r ect  d ep en d en t    v ar i ab l e i s  g r eat er  t h a n  o r  eq u al  ( L )  a n d  t h e l i n nu m b e r  i s   no t  i n r e s ul t C o d e  a r r a y  t he   {   G et  f r o m  t h e o r i g i n al  co d e f i l e  t h e co d e l i n w h i c h  e x i s t s  at  t h e cu r r en t  l i ne   nu m b e r .   A d d  t h e l i n e n u m b er  an d  t h e c o d e l i n e t o  t h e r es u l t C o d e ar r ay .   }     }     }   E ls e  if  t h e  s lic in g  c r ite r ia  is  to t a l s lic i n g  t h e n     {   F o r  a ll th e  lin e s  n u m b e r s  s to r e d  in  th e  li n e s  li s t o f  t h e  s e le c te d  o b j e c t ( V )  d o  th e  f o llo w i n g :   {   I f  t he  c ur r e nt  l i ne   n u m b e r  i s   n o t  i n r e s ul t C o d e  a r r a y  t he   {   G et  f r o m  t h e o r i g i n al  co d e f i l e  t h e co d e l i n w h i c h  e x i s t s  at  t h e cu r r en t  l i n n u m b er .   A d d  t h e l i n e n u m b er  an d  t h e c o d e l i n e t o  t h e r es u l t C o d e ar r ay .   }   }     F o r  th e  a ll  th e   v a r ia b le s  in  t h e   in d ir e c t d e p e n d e n t  lis t o f  th e   s e le c te d  v a r ia b le  ( V )  d o  th e  f o llo w i n g :   {   I f  t h e c u r r en t  l i n e n u m b er  o f  t h e i n d i r ect  d ep en d en t   v ar i ab l e  i s  n o t  i n  r es u l t C o d e ar r ay  t h e n     {   G et  f r o m  t h e o r i g i n al  co d e f i l e  t h e co d e l i n w h i c h  e x i s t s  at  t h e cu r r en t  l i n n um be r .   A d d  t h e l i n e n u m b er  an d  t h e c o d e l i n e t o  t h e r es u l t C o d e ar r ay .   }     }     }                       Evaluation Warning : The document was created with Spire.PDF for Python.
                      I SSN :   25 02 - 4752   I nd o ne s i a n J  E l e c  E ng  &  C o m p  S c i ,   V o l.   11 , N o .   1 J u l y  2018   :   30   217   314   A l l V ar i ab l e s  ar r ay   Na m e   Li n e s   D i r ec t   I n d i r e c t   a   1   6     Na m e   Li n e   N u ll   N u ll     Na m e   Li n e   a   1       Na m e   Li n e s   D i r ec t   I n d i r e c t   b   2   8   1 2     Na m e   Li n e   c   8   b   1 2   d   1 2     Na m e   Li n e   b   2   c   3   c   7   a   1   a   6   d   4   d   1 0   c   9       Na m e   Li n e s   D i r ec t   I n d i r e c t   c   3   7   9     Na m e   Li n e   a   7   c   7   b   9   a   9     Na m e   Li n e   c   3   a   1   a   6   b   2   b   8       Na m e   Li n e s   D i r ec t   I n d i r e c t   d   4   1 0     Na m e   Li n e   c   1 0     Na m e   Li n e   d   4   c   3   c   9   b   2   a   1   b   8   c   7   a   6       Na m e   Li n e s   D i r ec t   I n d i r e c t   f   5   1 1     Na m e   Li n e   d   1 1     Na m e   Li n e   f   5   d   4   d   1 0   c   3   c   9   b   2   a   1   b   8   c   7   a   6         F i g ur e   3 .  Al l   V ar i ab l es   A r r a y   ( D i r ect  an d  I n d i r ect  D ep en d en t s )       T o  c la r if y    f o u r t h  s t ag e;  t h r ee  ex a m p l e s  ar e g i v en  b el o w :   E x a m p l e  1  :   S u p p o s e t h at   w e  s el ect ed  t h v ar i ab l e " b "   at  l i n e 8  a n d  b ac k w ar d  s l i ci n g  t h en  t h e r es u l t   C ode     ar r ay   w i l l  b e :       T ab l 1 .  B ack w ar d   S l i ci n g   ( b, 8)   L i n e  n u m b e r   C o d e  l i n e   2   f lo a t  b ;   8   b  =  b  *  c ;   3   d o u b l e  c  =   5 ;   7   c   = a  +  c ;   1   in t a ;   6   a   =  2 0 ;       Evaluation Warning : The document was created with Spire.PDF for Python.
I nd o ne s i a n J  E l e c  E ng  &  C o m p  S c i     I SSN :   2502 - 4752     A  P r opos e d J av a St at i c   Sl i c i ng A ppr oac h   ( B as e m  A l ok us h )   315   E x a m p l e  2  :   S u p p o s e t h at   w e  s el ect ed  t h v ar i ab l e " b "   at  l i n e 8  a n d   f o r w ar d  s l i ci n g  t h en  t h e r e s u l t   C ode     ar r ay   w i l l  b e :       T ab l 2 F o r w a r d  S l i c i ng  ( b, 8)   L i n e  n u m b e r   C o d e  l i n e   8   b  =  b  *  c ;   1 2   b  =  b  +   d;      1 0   d  = c     3 ;   9   c  =   b   +  (a  /  4 );       E x a mp l e  3 :  S u p p o s e t h at   w e s el ect ed  t h v ar i ab l e   " b"   a t lin e  8  a n d  to ta s lic i n g  t h e n  t h e  r e s u lt   C ode     ar r ay   w i l l  b e :       T a b le   3 .  T o ta S lic in g  ( b , 8 )   L i n e  n u m b e r   C o d e  l i n e   2   f lo a t  b ;   8   b  =  b  *  c ;   1 2   b  =  b  +   d;      3   d o u b l e  c  =   5 ;   7   c   = a  +  c ;   1   in t a ;   6   a   =  2 0 ;   4   f lo a t  d ;   1 0   d  = c     3 ;   9   c  =   b   +  (a  /  4 );       F i f t h  S t a g e;  O r d er  t h e r es u l t C o d e ar r ay  acco r d i n g  t o  t h e l i n e  n u m b er  i n  as ce n d i n g  o r d er ,  t h en  ex p o r t  i t  t o     a n e w  f i l e.   S or t  r e s u l t C ode  a r r a y  i n  a s c e ndi n g  or de r  a c c or di n g  t o t h e  l i ne s  num be r s .   C r eat e n e w  J av aF i l   W h i l e n o t  en d  o f  r es u l t C o d e ar r ay                 W r ite  th e  c o d e  lin e  in  th e  n e w   f ile     }     T o c l a r i f y  t he  f i f t h s t a ge ,  t he  r e s ul t s ,  f r o m  t he  t hr e e  e xa m p l e s  i n t he  f o ur t s t a ge ,   w i l l  b e  us e d :   T h e  r e s u lts  o f  e x a m p le  1 ,   w ill  b e  a f te r  s o r tin g :       T ab l 4 .  E x am p l e 1  S o r t ed   R es u l t   C od e   a rra y   L i n e  n u m b e r   C o d e  l i n e   1   in t a ;   2   f lo a t  b ;   3   d o u b l e  c  =   5 ;   6   a   =  2 0 ;   7   c   = a  +  c ;   8   b  =  b  *  c ;       T h e  r e s u lts  o f  e x a m p le  2 ,   w ill  b e  a f te r  s o r tin g :       T ab l 5 .  E x am p l e 2  S o r t ed   re s u l t C o d e  a rra y   L i n e  n u m b e r   C o d e  l i n e   8   b   =  b  *  c ;   9   c  =   b   +  (a  /  4 );   1 0   d  = c     3 ;   1 2   b  =  b  +   d;          Evaluation Warning : The document was created with Spire.PDF for Python.
                      I SSN :   25 02 - 4752   I nd o ne s i a n J  E l e c  E ng  &  C o m p  S c i ,   V o l.   11 , N o .   1 J u l y  2018   :   30   217   316   T h e  r e s u lts  o f  e x a m p le  3 ,   w ill  b e  a f te r  s o r tin g :       T ab l 6 .  E x am p l e 3  S o r t ed   re s u l t C o d e  a rra y   L i n e  n u m b e r   C o d e  l i n e   1   in t a ;   2   f lo a t  b ;   3   d o u b l e  c  =   5 ;   4   f lo a t  d ;   6   a   =  2 0 ;   7   c   = a  +  c ;   8   b  =  b  *  c ;   9   c  =   b   +  (a  /  4 );   1 0   d  = c     3 ;   1 2   b  =  b  +   d;          A f te r  th a t,  th e  r e s u lt C o d e   w il l b e  e x p o r te d  to  a  n e w  te x f ile .       3.   EV A LU A TIO N   J av aM S T  h as  s u cceed ed  t o  i n t r o d u ce a  n e w   s l i ci n g  ap p r o ach  t h at  s u p p o r t s   t h r ee  t y p es   of  s l i c i ng  t e c h ni qu e s ;  f or w a r d,  ba c kw a r d,  a n d b ot h  s l i c i ng  t e c hn i qu e s .  J a v a M S T   doe s  n ot  n e e d t o  be   pl u gg e d i n  or   w o r k  o n  a cer t ai n  p l at f o r m ,   s u ch  as  i n  I n d u s / K a v er i  o r  W A L A .   M o r eo v er ,   J av aM S T   r ead   J av co d e s t o r ed  i n  a  t ex t   f i l e  o r  a  t ex t   f i l e t h at   d o es   n ot   n e e t be   co m p i l ed   n o r  r u n  b e f o r e s l i ci n g .  T h er ef o r e,   m o r f l ex i b i l i t y  an d  t i m s av i n g  t h at  can  b e  u s e f u l  f o r  a t es t i n g   p i ece o f  co d e.   J av aM S T  p r o d u ces  a s l i g h t l y   s m a l l  o u t p u t  t h at   s p eci f i e s  t h e  v ar i ab l e  an d  i t s  s l i ce s   ( r ef er en ce   v a r ia b le s )   w it h  lin e   n u m b er s .  I t  al s o  cat eg o r i zes  t h e s l i ce d ep en d en c y  i n t o  d i r ect l y  o r  i n d i r ect l y  d ep en d en t .   O n t he  o t he r  s i d e ,  K a ve r i  p l u g - in ,  it o n l y  c o lo r e d  th e  s lid e   w it h   y e llo w   w it h o u t s h o w in g   th e  d e p e n d e n c ie s  o f   it.   S i n ce J av aM S T  i s  a s i m p l e a n d  u s er - f r ie n d l y  s lic in g  to ol ,  i t  c a n  be  us e f u l  f or  e du c a t i o n a l  pu r pos e s ,   t o  i n t r o d u ce t h e s l i ci n g  t ec h n i q u e t o  s t u d en t s  o r  f r es h  r es ear ch er s .   H o w e v e r ,  J a v a M S T  is  o n l y  s l ic e d  s i m p le  c o d e   w it h  s i m p le   e q u a tio n s ; it is  s ti ll in  t h e  d e v e lo p m e n t   s ta g e .   A l s o ,  it s till  n o t a b le  to  s lic e   O b j ect - O ri e n t e d  p ro g ra m .       4.   CO NCL U S I O N   J av aM S T  i s  a m u l t i - s l i c i n g  t o o l ,  w h i c h   r ead s   a j av a co d e  f r o m  a t ex t  f i l e,  ex t r act s  t h e  v ar i ab l es ,   d ef i n ed  t h ei r  d i r ect  a n d  i n d i r ect  d ep en d en ci es  an d  d ep en d i n g  o n  t h e s el ec t ed  s l i ci n g  cr i t er i a,  an d  i t  p r o d u ces  a   lis o f   v ar i ab l es  an d  t h ei r  s l i ce s .   T he   m a i n a d va nt a ge  o f  J a va M S T  t ha t  c a n s l i c e  a un - co m p i l ed  J av a p r o g r a m  o r  a p i e ce o f  co d e.   H o w e v e r ,  s till to o  s i m p le  to  s l ic e  O b j e c t - O r i en t ed  p r o g r a m s   an d  co m p l ex  J av a co d e.         R EF ER EN C ES   [1 ]   M .  W ei s er ,  "P r o g r a m  s l i ci n g , "   p r es e n te d  a t th e   P r oc e e di ngs  of  t he  5t h  i nt e r nat i on al  c onf e r e nc e  o n   Sof t w ar e  e ngi ne e r i ng ,  S a n  D i e g o,  C a l i f or n i a ,  U S A ,  1981.   [2 ]   M .  W e is e r ,  " P r o g r a m   s lic e s : f o r m a l,  p s y c h o lo g ic a l,  a n d  p r a c tic a l in v e s ti g a tio n s  o f   a n  a u to m a tic   p r o gr a m  a b s t r a c t i o m e t ho d , "   P hD ,  T he  U ni ve r s i t y o f  M i c hi ga n,  M i c hi ga n,  1 9 7 9 .   [3 ]   X .  B a o w e n,  Q .  J u,  Z .   X i a o f a n g,  W .  Z ho n gq i a n g,  a nd  C .   L i n,  " A  b r i e f   s ur ve y o f  p r o gr a m  s l i c i ng, "  vo l .   30,  p p.  1 - 36,  20 05.   [4 ]   M .  H a r m a n a nd  R .  H i e r o ns ,  " A n O ve r vi e w  o f  p r o gr a m  s l i c i ng, "   so f t wa r e  f o c u s,   v ol .  2,  pp.  85 - 92,  2 001 .   [5 ]   F .  J o h n ,  G .  R a m al i n g a m ,  a n d  T .  F r an k ,  "P ar am et r i c p r o g r am  s l i ci n g , "  p r es en t ed  at  t h e P r o ceed i n g s  o f   t he  22nd A C M  SI G P L A N - SI G A C T  s y m pos i um  on P r i nc i pl e s  of  pr ogr am m i ng l angu age s ,  S an  F r a n ci s co ,   C a l i f or n i a ,  U ni t e d S t a t e s ,  1995.   [6 ]   N . S a s i r e k h a A .  E. R o b e r t a n d  D .  M .  H e m al at h a,  " P r o g r a m   s l i ci n g  t ech n i q u es  a n d  i t s   ap p l i cat i o n s , I nt e r nat i onal  J our nal   of  Sof t w ar e  E ngi ne e r i ng  &  A ppl i c at i o ns  ( I J SE A ) ,   v ol .  2,  pp.  5 0 - 64,  2011.   [7 ]   K .  J .  O t t en s t ei n  a n d   L .  M .   O t t en s t ei n ,  " T h e p r o g r am  d e p en d en ce  g r ap h  i n  a  s o f t w ar e d ev el o p me n t   e nvi r o n m e nt , "   S IG P L A N  N o t . ,   v ol .  19,  p p.  1 77 - 184,  19 84.   Evaluation Warning : The document was created with Spire.PDF for Python.
I nd o ne s i a n J  E l e c  E ng  &  C o m p  S c i     I SSN :   2502 - 4752     A  P r opos e d J av a St at i c   Sl i c i ng A ppr oac h   ( B as e m  A l ok us h )   317   [8 ]   D . B i n k l e y , S . D a n i c i c , T . G y i m \ \ #243,  t hy ,  M .  H a r m a n ,  e t a l. ,  " A  f o r m a l is a tio n  o f  th e  r e la tio n s h ip   be t w e e n  f or m s  of  pr og r a m   s l i c i n g , "   Sc i .  C om put .  P r ogr am . ,   v ol .  62,  pp .  22 8 - 252,  200 6.   [9 ]   S a nt o s h  K u m ar  P an i  an d  G . B . Mu n d ,  " P r o p er t y  B as ed  D y n a m i c S l i ci n g  o f  O b j ect  O r i en t ed  P r o g r am s , I nt e r nat i onal  J our nal   of  Sof t w ar e  E ngi ne e r i ng  and T e c h nol o gy  ( I J SE T ) ,   v ol .  1,  pp.  6 9 - 82,  2016.   [ 10]   A O r s o , S S i n h a , a n d  M.  J . H a r r o l d " I n c r e m e n ta S lic in g  B a s e d  o n  D a ta - D ep en d e n ces  T y p es , "   pr e s e nt e d at  t he  P r oc e e di n gs  of  t he  I E E E  I nt e r nat i o n al  C onf e r e nc e  on  Sof t w ar e  M ai nt e nanc e   ( I C SM ' 01) ,  2001.   [ 11]   F . O h a t a , K . H i r o s e , M . F u j i i , a n d  K . I n o u e " A  S l i c i n g M e t h od f or  O bj e c t - O r i e nt e d  P r o gr a m s  U s i n L i gh t w e i ght  D yn a m i c   I nf or m a t i on , "   p r es en t ed  at  t h P r oc e e di ngs  of  t he  E i ght h A s i a - P a c ific  o n   Sof t w ar e  E ngi ne e r i ng C onf e r e nc e ,  20 01.   [ 12]   N .  F .   R o d r i gue s  a nd   L .  S .  B a r b o s a ,  " S l i c i ng  f o r  a r c hi t e c t ur a l  a na l ys i s , "   Sc i .  C om put .  P r ogr am . ,   v ol .  75,   pp.  8 28 - 847,  20 10.   [ 13]   C . D . N e w m a n , T . S a g e , M . L . C o l l a r d , H . W . A l o m a r i , a n d  J . I . Ma l e t i c " s r c S lic e : a  to o l f o r  e f f ic ie n t   s ta tic   f o r w a r d  s lic in g , "   p r es en t ed  at  t h P r oc e e di ngs  of  t he  38t h I nt e r nat i o nal  C onf e r e nc e  on Sof t w ar e   E ngi ne e r i ng C om pa ni on ,  A us t i n ,  T e x a s ,  2016.   [ 14]   H.  W .   A l o m ar i ,  M.   L .   C o l l ar d ,  J .  I .  M al et i c,  N .   A l h i n d a w i ,  an d  O .  Meq d ad i ,  " s r cS l i ce:   v er y  ef f i ci e n t   an d  s cal ab l e f o r w ar d  s t at i c s l i ci n g , "   J .  S o f t w.  E v o l .  P r o c e s s,   v ol .  26,  p p.  9 31 - 961,  20 14.   [ 15]   B .  X u  an d  Z .  C h e n ,  " D ep en d en ce an al y s i s   f o r  r ecu r s i v e j av a  p r o g r am s , "   S IG P L A N  N o t . ,   v ol .   36,  pp.  70 - 76,  2 001.   [ 16]   G .  A .  V e n k a t e s h ,  " T h e  s e m a nt i c  a ppr oa c h  t o p r og r a m  s l i c i n g, "   v ol .   26,  e d:  A C M ,  1991,  pp .  107 - 11 9.   [ 17]   T J W . L . f . A n a l y s i s , " W A LA ,"  1 .3 .5  e d 2 0 1 3 .   [ 18]   G .  J a y a r a m a n a nd  V .  P .  R a nga na t h,  " I nd us / K a ve r i , "  e d ,  2 00 4.   [ 19]   R .  V e nk a t e s h P r a s a d  a nd  H .  J o hn,  " S l i c i ng  c o nc ur r e nt  J a va   p r o gr a m s   us i n g I nd u s  a nd  K a ve r i , "   vo l .  9 ,   e d :  S p r i nge r - V e r l a g ,  2007,  pp .  489 - 504 .   [ 20]   S .  P an d a,   " R eg r es s i o n  T es t i n g  o f  O b j ect - O r i e n t e d S of t w a r e   ba s e d on  P r og r a m  S l i c i ng , "  20 16.   [ 21]   M .  S ah u  a n d  D .  P .  Mo h ap at r a ,  " F o r w a r d  D y n a m ic  S lic i n g  o f  W e b  A p p lic a tio n s , "   SI G SO F T  Sof t w .  E ng.   N o te s v ol .  41,  pp .  1 - 7,  2 016.   [ 22]   V .  S r i ni v a s a n a n d  T .  R e ps ,  " A n  i m pr ov e d a l g or i t hm   f or   s l i c i n m a c hi n e  c ode , "   S I G P L A N No t . ,   v ol .  51,   pp.  3 78 - 393,  20 16.   [ 23]   M .  A b d a lla h  a n d  H .  T a m i m i,  " C la u s e r : C la u s e  S l i c i n g  T ool  f or  C  P r og r a m s , "   I nt e r nat i on al   J our nal  of   Sof t w ar e  E ngi ne e r i ng a nd I t s   A ppl i c at i ons ,   vo l .  10 ,  pp .  49 - 56,  20 16.   [ 24]   A .  M .   A b d al l a,  M.  M .  A b d al l ah ,  an d  M .  I .  S al ah ,  " A B r i ef  P R O G R A M R O B U S T N E S S  S U R V E Y , I nt e r na t i o na l   J our nal  of  Sof t w ar e  E ngi ne e r i ng   and A ppl i c at i ons ,   v o l . 8 , p p . 1 - 10,  20 17.   [ 25]   S .  P an d a an d  D .  P .  M o h ap at r a,  " A C C o :  a  n o v el  ap p r o ach  t o   m eas u r e co h es i o n   u s i n g  h i er ar ch i cal  s l i ci n g   of  J a v a  pr og r a m s , "   I nn ov .  Sy s t .  Sof t w .  E ng. ,   v ol .   11,  pp.  243 - 260,  201 5.   [ 26]   K .  S .  P at n ai k  an d  P .  J h a,  "P r o p o s ed  Met r i cs  f o r  P r o ces s  C ap ab i l i t y   A n al y s i s   i n  I m p r o v i n g  S o f t w ar Q u a lit y A n  E m p ir ic a l S t u d y , "   I nt e r n at i onal  J o ur nal  of  Sof t w ar e  E ngi ne e r i ng and T e c hn ol ogy  ( I J SE T ) ,   v ol .  1,  pp.   152 - 16 4,  2 016 .   [ 27]   J .  R a s h i d,  W .  M e hm ood,  a n d M .  W .  N i s a r ,   " A  S u r v e y  of  M ode l  C om pa r i s o n   S t r a t e gi e s  a nd  T e c hni q ue s   in   M o d e l  D r i ve n E ngi ne e r i ng, "   I nt e r nat i onal  J o ur nal  of  S of t w ar e  E ngi ne e r i ng and T e c h no l ogy  ( I J SE T ) ,   v ol .  1,  pp.   165 - 17 6,  2 016 .   [ 28]   M .  A b d al l ah ,  B .  A l o k u s h ,  M.  A l r e f aee,  M .  S al ah ,  R .  B ad er ,  an d  K .  A w ad ,   " J av aB S T :  J av b ack w ar d   s l i c i ng  to o l, "   p r es en t ed  at   t he   8t h I nt e r n at i onal  C o nf e r e nc e   on I nf or m at i on T e c h nol ogy  ( I C I T )  A m m an J or da n ,  2 017 .   Evaluation Warning : The document was created with Spire.PDF for Python.