메뉴 건너뛰기




Volumn , Issue , 2006, Pages 13-22

Automatically finding and patching bad error handling

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; DATA REDUCTION; ERROR CORRECTION; PROBLEM SOLVING; STATIC ANALYSIS;

EID: 34547460181     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDCC.2006.3     Document Type: Conference Paper
Times cited : (25)

References (10)
  • 1
    • 34547456023 scopus 로고    scopus 로고
    • P. Broadwell, N. Sastry, and J. Traupma. FIG: A prototype tool for online verification of recovery mechanisms. In In Workshop on Self-Healing, Adaptive and self-MANaged Systems, Jun 2002.
    • P. Broadwell, N. Sastry, and J. Traupma. FIG: A prototype tool for online verification of recovery mechanisms. In In Workshop on Self-Healing, Adaptive and self-MANaged Systems, Jun 2002.
  • 2
    • 34547490200 scopus 로고    scopus 로고
    • F. Cristian. Exception handling and tolerance of software faults. In M. Lyu, editor, Software Fault Tolerance, pages 81-107. Ed. Wiley, 1995.
    • F. Cristian. Exception handling and tolerance of software faults. In M. Lyu, editor, Software Fault Tolerance, pages 81-107. Ed. Wiley, 1995.
  • 3
    • 78650290559 scopus 로고    scopus 로고
    • How to write shared libraries. Technical report, Red Hat, Inc., Research Triangle Park, NC
    • Tech. Rep, Jan, available
    • U. Drepper. How to write shared libraries. Technical report, Red Hat, Inc., Research Triangle Park, NC, Tech. Rep., Jan 2005. available: http://people.redhat.com/drepper/dsohowto.pdf.
    • (2005)
    • Drepper, U.1
  • 6
    • 84871262255 scopus 로고    scopus 로고
    • GNU project
    • GNU project. GNU binutils. http://www.gnu.org/software/binutils/.
    • GNU binutils
  • 8
    • 0034273862 scopus 로고    scopus 로고
    • The exception handling effectiveness of posix operating systems
    • P. Koopman and J. DeVale. The exception handling effectiveness of posix operating systems. IEEE Trans. Softw. Eng., 26(9):837-848, 2000.
    • (2000) IEEE Trans. Softw. Eng , vol.26 , Issue.9 , pp. 837-848
    • Koopman, P.1    DeVale, J.2
  • 9
    • 34547477191 scopus 로고    scopus 로고
    • Santa Cruz Operation Inc. and AT&T. System VABI, IA32 Supplement. Santa Cruz Operation Inc., AT&T, 4th edition, 1997.
    • Santa Cruz Operation Inc. and AT&T. System VABI, volume IA32 Supplement. Santa Cruz Operation Inc., AT&T, 4th edition, 1997.
  • 10
    • 26444511823 scopus 로고    scopus 로고
    • Countering network worms through automatic patch generation
    • Technical report, Columbia University Computer Science Department
    • S. Sidiroglou and A. D. Keromytis. Countering network worms through automatic patch generation. Technical report, Columbia University Computer Science Department, 2003.
    • (2003)
    • Sidiroglou, S.1    Keromytis, A.D.2


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