메뉴 건너뛰기




Volumn 47, Issue 12, 2005, Pages 805-817

Computing dynamic slices of concurrent object-oriented programs

Author keywords

Concurrent object oriented programs; Debugging; Dynamic slicing; Program dependence graph; Program slicing; Static slicing; Threads

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTATIONAL COMPLEXITY; GRAPHIC METHODS; PROGRAM DEBUGGING; SET THEORY;

EID: 23744503565     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2005.02.002     Document Type: Article
Times cited : (20)

References (41)
  • 1
    • 0020157396 scopus 로고
    • Programmers use slices when debugging
    • M. Weiser Programmers use slices when debugging Communications of the ACM 25 7 1982 446 452
    • (1982) Communications of the ACM , vol.25 , Issue.7 , pp. 446-452
    • Weiser, M.1
  • 4
    • 0037203619 scopus 로고    scopus 로고
    • An efficient method for computing dynamic program slices
    • D. Goswami, and R. Mall An efficient method for computing dynamic program slices Information Processing Letters 81 2002 111 117
    • (2002) Information Processing Letters , vol.81 , pp. 111-117
    • Goswami, D.1    Mall, R.2
  • 8
    • 6344267511 scopus 로고    scopus 로고
    • Test coverage analysis based on on program slicing
    • Z. Chen, B. Xu, H. Yang, Test coverage analysis based on on program slicing, in: Proceedings of IRI, 2003, pp. 559-565.
    • (2003) Proceedings of IRI , pp. 559-565
    • Chen, Z.1    Xu, B.2    Yang, H.3
  • 10
    • 0000990322 scopus 로고
    • A survey of program slicing techniques
    • F. Tip A survey of program slicing techniques Journal of Programming Languages 3 3 1995 121 189
    • (1995) Journal of Programming Languages , vol.3 , Issue.3 , pp. 121-189
    • Tip, F.1
  • 15
    • 0003647961 scopus 로고    scopus 로고
    • Dynamic slicing of object-oriented programs
    • Information Processing Society of Japan, May
    • J. Zhao, Dynamic slicing of object-oriented programs, Tech. Rep., Information Processing Society of Japan, May 1998.
    • (1998) Tech. Rep.
    • Zhao, J.1
  • 18
    • 84962144687 scopus 로고    scopus 로고
    • Dynamic slicing object-oriented programs for debugging
    • B. Xu, and Z. Chen Dynamic slicing object-oriented programs for debugging SCAM 2002 115 122
    • (2002) SCAM , pp. 115-122
    • Xu, B.1    Chen, Z.2
  • 21
    • 0002611591 scopus 로고    scopus 로고
    • Slicing object-oriented Java programs
    • Z. Chen, and B. Xu Slicing object-oriented Java programs ACM SIGPLAN Notices 36 2001 33 40
    • (2001) ACM SIGPLAN Notices , vol.36 , pp. 33-40
    • Chen, Z.1    Xu, B.2
  • 25
    • 0002611590 scopus 로고    scopus 로고
    • Slicing concurrent Java programs
    • Z. Chen, and B. Xu Slicing concurrent Java programs ACM SIGPLAN Notices 36 2001 41 47
    • (2001) ACM SIGPLAN Notices , vol.36 , pp. 41-47
    • Chen, Z.1    Xu, B.2
  • 29
    • 0011793707 scopus 로고
    • Automatic extraction of executable program subsets
    • R. Hall Automatic extraction of executable program subsets Automated Software Engineering 2 1995 33 53
    • (1995) Automated Software Engineering , vol.2 , pp. 33-53
    • Hall, R.1
  • 33
    • 33644573567 scopus 로고    scopus 로고
    • Dependence based representation for concurrent Java programs and it's application to slicing
    • J. Zhao, B. Li, Dependence based representation for concurrent Java programs and it's application to slicing, in: Proceedings of ISFST, 2004, pp. 105-112.
    • (2004) Proceedings of ISFST , pp. 105-112
    • Zhao, J.1    Li, B.2
  • 34
    • 0347177460 scopus 로고    scopus 로고
    • Static slicing of threaded programs
    • J. Krinke Static slicing of threaded programs ACM SIGPLAN Notices 33 1998 35 42
    • (1998) ACM SIGPLAN Notices , vol.33 , pp. 35-42
    • Krinke, J.1
  • 35
    • 35048819978 scopus 로고    scopus 로고
    • Dependence analysis of concurrent programs based on reachability graph and it's applications
    • X. Qi, B. Xu, Dependence analysis of concurrent programs based on reachability graph and it's applications, in: Proceedings of International Conference on Computational Science, 2004, pp. 405-408.
    • (2004) Proceedings of International Conference on Computational Science , pp. 405-408
    • Qi, X.1    Xu, B.2
  • 36
    • 4544268390 scopus 로고    scopus 로고
    • Generating fast code from concurrent program dependence graph
    • J. Zeng, C. Soviani, S.A. Edwards, Generating fast code from concurrent program dependence graph, in: Proceedings of ACM LCTES, 2004, pp. 175-181.
    • (2004) Proceedings of ACM LCTES , pp. 175-181
    • Zeng, J.1    Soviani, C.2    Edwards, S.A.3
  • 37
    • 0344559500 scopus 로고    scopus 로고
    • An overview of methods for dependence analysis of concurrent programs
    • Z. Chen, B. Xu, and J. Zhao An overview of methods for dependence analysis of concurrent programs ACM SIGPLAN Notices 37 8 2002 45 52
    • (2002) ACM SIGPLAN Notices , vol.37 , Issue.8 , pp. 45-52
    • Chen, Z.1    Xu, B.2    Zhao, J.3
  • 38
    • 0343928997 scopus 로고
    • The compositional C++ language definition
    • Department of Computer Science, California Institute of Technology, LA, February
    • P. Carlin, M. Chandy, C. Kesselman, The compositional C++ language definition, Technical Report, Department of Computer Science, California Institute of Technology, LA, February 1993.
    • (1993) Technical Report
    • Carlin, P.1    Chandy, M.2    Kesselman, C.3


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