메뉴 건너뛰기




Volumn 4, Issue 2, 1995, Pages 109-145

Aspect: Detecting Bugs with Abstract Dependences

Author keywords

dataflow dependences; partial specification; partial verification

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; LOGIC PROGRAMMING; PROGRAM DIAGNOSTICS; SOFTWARE ENGINEERING;

EID: 0029280675     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/210134.210135     Document Type: Article
Times cited : (57)

References (38)
  • 1
    • 84976850518 scopus 로고
    • Information-flow and data-flow analysis of while-programs
    • (Jan.)
    • BERGERETTI, J. F. AND CARRE, B. A. 1985. Information-flow and data-flow analysis of while-programs. ACM Trans. Program. Lang. Syst. 7, 1 (Jan.).
    • (1985) ACM Trans. Program. Lang. Syst. , vol.7 , Issue.1
    • BERGERETTI, J.F.1    CARRE, B.A.2
  • 4
    • 85050550846 scopus 로고
    • Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
    • ACM, New York
    • COUSOT, P. AND COUSOT, R. 1977. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages. ACM, New York, 238-252.
    • (1977) Proceedings of the 4th ACM Symposium on Principles of Programming Languages , pp. 238-252
    • COUSOT, P.1    COUSOT, R.2
  • 8
    • 0016996537 scopus 로고
    • Dataflow analysis in software reliability
    • (Sept.)
    • FOSDICK, L. D. AND OSTEKWEIL, L. J. 1976. Dataflow analysis in software reliability. ACM Comput. Surv. 8, 3 (Sept.).
    • (1976) ACM Comput. Surv. , vol.8 , Issue.3
    • FOSDICK, L.D.1    OSTEKWEIL, L.J.2
  • 14
    • 0025261561 scopus 로고
    • Comments analysis and programming errors
    • (Jan.)
    • HOWDEN, W. E. 1990. Comments analysis and programming errors. IEEE Trans. Softw. Eng. 16, 1 (Jan.).
    • (1990) IEEE Trans. Softw. Eng. , vol.16 , Issue.1
    • HOWDEN, W.E.1
  • 15
    • 0025228221 scopus 로고
    • Interprocedural slicing using dependence graphs
    • (Jan.)
    • HORWITZ, S., REPS, T., AND BINKLEY, D. 1990. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12, 1 (Jan.), 26-60.
    • (1990) ACM Trans. Program. Lang. Syst. , vol.12 , Issue.1 , pp. 26-60
    • HORWITZ, S.1    REPS, T.2    BINKLEY, D.3
  • 17
    • 0028449063 scopus 로고
    • QDA-a method for systematic informal program analysis
    • (June)
    • HOWDEN, W. E. AND WIEAND, B. 1994. QDA-a method for systematic informal program analysis. IEEE Trans. Softw. Eng. 20, 6 (June).
    • (1994) IEEE Trans. Softw. Eng. , vol.20 , Issue.6
    • HOWDEN, W.E.1    WIEAND, B.2
  • 18
    • 84976717784 scopus 로고
    • Aspects
    • A formal specification language for detecting bugs. Tech. Rep. MIT/LCS/TR-543, MIT Laboratory for Computer Science, Cambridge, Mass. June
    • JACKSON, D. 1992. Aspects. A formal specification language for detecting bugs. Tech. Rep. MIT/LCS/TR-543, MIT Laboratory for Computer Science, Cambridge, Mass. June.
    • (1992)
    • JACKSON, D.1
  • 23
    • 0025493250 scopus 로고
    • Approximate reasoning about the semantics effects of program changes
    • (Sept.)
    • MORICONI, M. 1990. Approximate reasoning about the semantics effects of program changes. IEEE Trans. Softw. Eng. 16, 9 (Sept.).
    • (1990) IEEE Trans. Softw. Eng. , vol.16 , Issue.9
    • MORICONI, M.1
  • 24
    • 0017007140 scopus 로고
    • DAVE-a validation, error detection and documentation system for Fortran programs
    • OSTERWEIL, L. J. AND FOSDICK, L. D. 1976. DAVE-a validation, error detection and documentation system for Fortran programs. Softw. Pract. Exper. 6, 4, 473-486.
    • (1976) Softw. Pract. Exper. , vol.6 , Issue.4 , pp. 473-486
    • OSTERWEIL, L.J.1    FOSDICK, L.D.2
  • 26
    • 84976834591 scopus 로고
    • Interprocedural static analysis of sequencing constraints
    • (Jan.)
    • OLENDER, K. M. AND OSTERWEIL, L. J. 1992. Interprocedural static analysis of sequencing constraints. ACM Trans. Softw. Eng. Method. 1, 1 (Jan.).
    • (1992) ACM Trans. Softw. Eng. Method. , vol.1 , Issue.1
    • OLENDER, K.M.1    OSTERWEIL, L.J.2
  • 27
    • 0025491545 scopus 로고
    • A formal model of program dependencies and its implications for software testing, debugging and maintenance
    • (Sept.)
    • PODGURSKI, A. AND CLARKE, L. 1990. A formal model of program dependencies and its implications for software testing, debugging and maintenance. IEEE Trans. Softw. Eng. 16, 9 (Sept.).
    • (1990) IEEE Trans. Softw. Eng. , vol.16 , Issue.9
    • PODGURSKI, A.1    CLARKE, L.2
  • 30
    • 0028436630 scopus 로고
    • Interprocedural def-use associations for C systems
    • (May)
    • PANDE, H., LANDI, W., AND RYDER, B. 1994. Interprocedural def-use associations for C systems. IEEE Trans. Softw. Eng. 20, 5 (May), 385-403.
    • (1994) IEEE Trans. Softw. Eng. , vol.20 , Issue.5 , pp. 385-403
    • PANDE, H.1    LANDI, W.2    RYDER, B.3
  • 31
    • 0022043004 scopus 로고
    • Selecting software test data using data flow information
    • (Apr.)
    • RAPPS, S. AND WEYUKER, E. J. 1985. Selecting software test data using data flow information. IEEE Trans. Softw. Eng. SE-11, 4 (Apr.), 367-375.
    • (1985) IEEE Trans. Softw. Eng. SE-11 , vol.4 , pp. 367-375
    • RAPPS, S.1    WEYUKER, E.J.2
  • 33
    • 77950883012 scopus 로고
    • The semantics of program slicing and program integration
    • (Barcelona, Spain, Mar). Lecture Notes in Computer Science, Springer-Verlag, New York
    • REPS, T. AND YANG, W. 1989. The semantics of program slicing and program integration. In Proceedings of the Colloquium on Current Issues in Programming Languages (Barcelona, Spain, Mar). Lecture Notes in Computer Science, vol. 352. Springer-Verlag, New York, 360-374.
    • (1989) Proceedings of the Colloquium on Current Issues in Programming Languages , vol.352 , pp. 360-374
    • REPS, T.1    YANG, W.2
  • 36
    • 0004096330 scopus 로고
    • Tech. Rep. CS-R9438, Centrum voor Wiskunde en Informatica (CWI), Amsterdam
    • TIP, F 1994. A survey of program slicing techniques. Tech. Rep. CS-R9438, Centrum voor Wiskunde en Informatica (CWI), Amsterdam.
    • (1994) A survey of program slicing techniques
    • TIP, F.1
  • 38
    • 0025388338 scopus 로고
    • The cost of data flow testing: An empirical study
    • (Feb.)
    • WEYUKER, E. J. 1990. The cost of data flow testing: An empirical study. IEEE Trans. Softw. Eng. 16, 2 (Feb.).
    • (1990) IEEE Trans. Softw. Eng. , vol.16 , Issue.2
    • WEYUKER, E.J.1


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