메뉴 건너뛰기




Volumn 44, Issue 3, 2012, Pages

A vocabulary of program slicing-based techniques

Author keywords

Program slicing; Software engineering

Indexed keywords

FUTURE RESEARCH DIRECTIONS; PROGRAM SLICING;

EID: 84863836286     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/2187671.2187674     Document Type: Article
Times cited : (132)

References (80)
  • 6
    • 84976850518 scopus 로고
    • Information-flow and data-flow analysis of While-programs
    • BERGERETTI, J. AND CARRÉ, B. 1985. Information-flow and data-flow analysis of While-programs. ACM Trans. Program. Lang. Syst. 7, 1, 37-61.
    • (1985) ACM Trans. Program. Lang. Syst , vol.7 , Issue.1 , pp. 37-61
    • Bergeretti, J.1    Carré, B.2
  • 12
    • 21144446241 scopus 로고    scopus 로고
    • A survey of empirical results on program slicing
    • BINKLEY, D. AND HARMAN, M. 2004. A survey of empirical results on program slicing. Adv. Comput. 62, 105-178.
    • (2004) Adv. Comput , vol.62 , pp. 105-178
    • Binkley, D.1    Harman, M.2
  • 16
    • 57549095097 scopus 로고    scopus 로고
    • Program slicing and data provenance
    • CHENEY, J. 2007. Program slicing and data provenance. IEEE Data Engineer. Bullet. 30, 4, 22-28.
    • (2007) IEEE Data Engineer. Bullet , vol.30 , Issue.4 , pp. 22-28
    • Cheney, J.1
  • 18
    • 27844576695 scopus 로고    scopus 로고
    • Static program slicing algorithms are minimal for free liberal program schemas
    • DANICIC, S., FOX, C., HARMAN, M., HIERONS, R., HOWROYD, J., AND LAURENCE, M. 2005. Static program slicing algorithms are minimal for free liberal program schemas. Comput. J. 48, 6, 737-748.
    • (2005) Comput. J , vol.48 , Issue.6 , pp. 737-748
    • Danicic, S.1    Fox, C.2    Harman, M.3    Hierons, R.4    Howroyd, J.5    Laurence, M.6
  • 21
    • 0029721793 scopus 로고    scopus 로고
    • Understanding function behaviors through program slicing
    • A. Cimitile and H. A. Müller, Eds. IEEE Computer Society Press
    • DE LUCIA, A., FASOLINO, A. R., AND MUNRO, M. 1996. Understanding function behaviors through program slicing. In Proceedings of the 4th Workshop on Program Comprehension, A. Cimitile and H. A. Müller, Eds. IEEE Computer Society Press, 9-18.
    • (1996) Proceedings of the 4th Workshop on Program Comprehension , pp. 9-18
    • De Lucia, A.1    Fasolino, A.R.2    Munro, M.3
  • 24
  • 28
    • 0026203186 scopus 로고
    • Using program slicing in software maintenance
    • GALLAGHER, K. AND LYLE, J. 1991. Using program slicing in software maintenance. IEEE Trans. Softw. Engin. 17, 8, 751-761.
    • (1991) IEEE Trans. Softw. Engin , vol.17 , Issue.8 , pp. 751-761
    • Gallagher, K.1    Lyle, J.2
  • 31
    • 0242485166 scopus 로고    scopus 로고
    • Non-standard semantics for program slicing
    • GIACOBAZZI, R. AND MASTROENI, I. 2003. Non-standard semantics for program slicing. Higher Order Symbol. Comput. 16, 4, 297-339.
    • (2003) Higher Order Symbol. Comput , vol.16 , Issue.4 , pp. 297-339
    • Giacobazzi, R.1    Mastroeni, I.2
  • 36
    • 0011793707 scopus 로고
    • Automatic extraction of executable program subsets by simultaneous dynamic program slicing
    • HALL, R. 1995. Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Auto. Softw. Engin. 2, 1, 33-53.
    • (1995) Auto. Softw. Engin , vol.2 , Issue.1 , pp. 33-53
    • Hall, R.1
  • 40
    • 0002107790 scopus 로고    scopus 로고
    • An overview of program slicing
    • HARMAN, M. AND HIERONS, R. 2001. An overview of program slicing. Softw. Focus 2, 3, 85-92.
    • (2001) Softw. Focus , vol.2 , Issue.3 , pp. 85-92
    • Harman, M.1    Hierons, R.2
  • 44
    • 0012609674 scopus 로고
    • Tech. rep. CS-94-169, Carnegie Mellon University, School of Computer Science
    • JACKSON, D. AND ROLLINS, E. 1994. Chopping: A generalization of slicing. Tech. rep. CS-94-169, Carnegie Mellon University, School of Computer Science.
    • (1994) Chopping: A Generalization of Slicing
    • Jackson, D.1    Rollins, E.2
  • 46
    • 33745092930 scopus 로고    scopus 로고
    • An introduction to partial evaluation
    • JONES, N. 1996. An introduction to partial evaluation. ACM Comput. Surv. 28, 3, 480-503.
    • (1996) ACM Comput. Surv , vol.28 , Issue.3 , pp. 480-503
    • Jones, N.1
  • 47
  • 48
    • 0347177460 scopus 로고    scopus 로고
    • Static slicing of threaded programs
    • KRINKE, J. 1998. Static slicing of threaded programs. SIGPLAN Notices 33, 7, 35-42.
    • (1998) SIGPLAN Notices , vol.33 , Issue.7 , pp. 35-42
    • Krinke, J.1
  • 51
    • 4444306353 scopus 로고    scopus 로고
    • Slicing, chopping, and path conditions with barriers
    • KRINKE, J. 2004. Slicing, chopping, and path conditions with barriers. Softw. Qual. J. 12, 4, 339-360.
    • (2004) Softw. Qual. J , vol.12 , Issue.4 , pp. 339-360
    • Krinke, J.1
  • 58
    • 84976824797 scopus 로고
    • Automated support for legacy code understanding
    • NING, J., ENGBERTS, A., AND KOZACZYNSKI, W. 1994. Automated support for legacy code understanding. Commun. ACM 37, 5, 50-57.
    • (1994) Commun. ACM , vol.37 , Issue.5 , pp. 50-57
    • Ning, J.1    Engberts, A.2    Kozaczynski, W.3
  • 63
    • 0024930949 scopus 로고
    • Illustrating interference in interfering versions of programs
    • REPS, T. AND BRICKER, T. 1989. Illustrating interference in interfering versions of programs. SIGSOFT Softw. Engineer. Notes 14, 7, 46-55.
    • (1989) SIGSOFT Softw. Engineer. Notes , vol.14 , Issue.7 , pp. 46-55
    • Reps, T.1    Bricker, T.2
  • 64
  • 69
    • 0032022098 scopus 로고    scopus 로고
    • Correct program slicing of database operations
    • TAN, H. AND LING, T. 1998. Correct program slicing of database operations. IEEE Softw. 15, 2, 105-112.
    • (1998) IEEE Softw , vol.15 , Issue.2 , pp. 105-112
    • Tan, H.1    Ling, T.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.