메뉴 건너뛰기




Volumn , Issue , 2006, Pages 58-67

Dynamic path conditions in dependence graphs

Author keywords

Dynamic chopping; Dynamic slicing; Information flow control; Path condition

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SIMULATION; INFORMATION ANALYSIS; INFORMATION SYSTEMS; SEMANTICS; SUPERVISORY AND EXECUTIVE PROGRAMS;

EID: 34250656241     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1111542.1111552     Document Type: Conference Paper
Times cited : (11)

References (25)
  • 3
    • 84962163606 scopus 로고    scopus 로고
    • Dependence analysis based dynamic slicing for debugging
    • Wuhan, China
    • Z. Chen and B. Xu. Dependence analysis based dynamic slicing for debugging. In Proc. ISES'01: Int. Soft. Eng. Symposium, Wuhan, China, 2001.
    • (2001) Proc. ISES'01: Int. Soft. Eng. Symposium
    • Chen, Z.1    Xu, B.2
  • 6
    • 0023385308 scopus 로고
    • The program dependence graph and its use in optimization
    • July
    • J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Trans. Prog. Lang. Syst., 9(3):319-349, July 1987.
    • (1987) ACM Trans. Prog. Lang. Syst , vol.9 , Issue.3 , pp. 319-349
    • Ferrante, J.1    Ottenstein, K.J.2    Warren, J.D.3
  • 10
    • 0024089764 scopus 로고
    • Dynamic program slicing
    • B. Korel and J. Laski. Dynamic program slicing. Inf. Process. Lett., 29(3): 155-163, 1988.
    • (1988) Inf. Process. Lett , vol.29 , Issue.3 , pp. 155-163
    • Korel, B.1    Laski, J.2
  • 11
    • 34250648768 scopus 로고    scopus 로고
    • Advanced Slicing of Sequential and Concurrent Programs. PhD thesis, Universität Passau, July
    • J. Krinke. Advanced Slicing of Sequential and Concurrent Programs. PhD thesis, Universität Passau, July 2003.
    • (2003)
    • Krinke, J.1
  • 13
    • 0032298503 scopus 로고    scopus 로고
    • Validation of measurement software as an application of slicing and constraint solving
    • November/December, Special issue on Program Slicing
    • J. Krinke and G. Snelting. Validation of measurement software as an application of slicing and constraint solving. Information and Software Technology, pages 661-675, November/December 1998. Special issue on Program Slicing.
    • (1998) Information and Software Technology , pp. 661-675
    • Krinke, J.1    Snelting, G.2
  • 17
    • 84957618397 scopus 로고
    • Generic techniques for source-level debugging and dynamic program slicing
    • Proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Development
    • F. Tip. Generic techniques for source-level debugging and dynamic program slicing. In Proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Development. LNCS 915, 1995.
    • (1995) LNCS , vol.915
    • Tip, F.1
  • 18
    • 0000990322 scopus 로고
    • A survey of program slicing techniques
    • Sept
    • F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, Sept. 1995.
    • (1995) Journal of Programming Languages , vol.3 , Issue.3 , pp. 121-189
    • Tip, F.1
  • 19
    • 0029273331 scopus 로고
    • Experimental results from dynamic slicing of c programs
    • G. A. Venkatesh. Experimental results from dynamic slicing of c programs. ACM Trans. Program. Lang. Syst., 17(2):197-216, 1995.
    • (1995) ACM Trans. Program. Lang. Syst , vol.17 , Issue.2 , pp. 197-216
    • Venkatesh, G.A.1
  • 21
    • 0021457061 scopus 로고
    • Program slicing
    • July
    • M. Weiser. Program slicing. IEEE Trans. Softw. Eng., 10(4):352-357, July 1984.
    • (1984) IEEE Trans. Softw. Eng , vol.10 , Issue.4 , pp. 352-357
    • Weiser, M.1
  • 22
    • 0036472476 scopus 로고    scopus 로고
    • Simplifying and isolating failure-inducing input
    • A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Trans. Softw. Eng., 28(2): 183-200, 2002.
    • (2002) IEEE Trans. Softw. Eng , vol.28 , Issue.2 , pp. 183-200
    • Zeller, A.1    Hildebrandt, R.2
  • 25
    • 33745387492 scopus 로고    scopus 로고
    • Cost and precision tradeoffs of dynamic data slicing algorithms
    • X. Zhang, R. Gupta, and Y Zhang. Cost and precision tradeoffs of dynamic data slicing algorithms. ACM Trans. Program. Lang. Syst., 27(4):631-661, 2005.
    • (2005) ACM Trans. Program. Lang. Syst , vol.27 , Issue.4 , pp. 631-661
    • Zhang, X.1    Gupta, R.2    Zhang, Y.3


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