Concepedia

Self-checking Software

Self-Checking Software is a software fault tolerance method that belongs to the class of fault detection techniques by continuously validating its own correctness during execution through embedded assertions, invariants, or redundancy checks to identify deviations from expected behavior.

56

Publications

2.5K

Citations

147

Authors

76

Institutions

Publications per year

2017–2026

6

Parents

Publications

56

Automatic generation of random self-checking test cases

Drew Bird, Cuauhtemoc Munoz · IBM Systems Journal · 1983 · 221 citations

, , +13

Software reliability via run-time result-checking

Hal Wasserman, Manuel Blum · Journal of the ACM · 1997 · 193 citations · Full text

, , +13

Using test oracles generated from program documentation

Dennis Peters, David Lorge Parnas · IEEE Transactions on Software Engineering · 1998 · 168 citations

, , +15

Software Failure Modes and Effects Analysis

Donald J. Reifer · IEEE Transactions on Reliability · 1979 · 143 citations

, , +17

The use of self checks and voting in software error detection: an empirical study

Nancy G. Leveson, John Knight, Timothy J. Shimeall · IEEE Transactions on Software Engineering · 1990 · 132 citations

, , +16

1–5 of 56

Authors

147

  1. RC
    Ray C. C. Cheung

    City University of Hong Kong, Hong Kong SAR China

    3 publications · 179 citations

    3

    h-index

  2. SS
    Stephen S. Yau

    Arizona State University, United States

    3 publications · 179 citations

    3

    h-index

  3. KW
    K. Whisnant

    University of Illinois Urbana-Champaign, United States

    2 publications · 45 citations

    2

    h-index

  4. XL
    Xiapu Luo

    Hong Kong Polytechnic University, Hong Kong SAR China

    2 publications · 87 citations

    2

    h-index

  5. MM
    Martin Monperrus

    KTH Royal Institute of Technology, Sweden

    2 publications · 87 citations

    2

    h-index

1–5 of 147

Institutions

76

  1. Northwestern University

    Evanston, United States

    3 h-index

    7 publications

    371 citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    7 publications

    142 citations

  3. Jet Propulsion Laboratory

    Pasadena, United States

    2 h-index

    3 publications

    64 citations

  4. Quality Research

    San Antonio, United States

    2 h-index

    2 publications

    32 citations

  5. Microsoft (United States)

    Redmond, United States

    2 h-index

    3 publications

    78 citations

  6. University of California, Berkeley

    Berkeley, United States

    2 h-index

    4 publications

    460 citations

  7. KU Leuven

    Leuven, Belgium

    2 h-index

    5 publications

    114 citations

  8. California Institute of Technology

    Pasadena, United States

    2 h-index

    3 publications

    64 citations

1–8 of 76

Venues

  1. IEEE Transactions on Reliability

    3 publications · 177 citations

    3

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 3 publications · 319 citations

    3

    h-index

  3. arXiv (Cornell University)

    Repository · 2 publications · 40 citations

    2

    h-index

  4. ACM SIGPLAN Notices

    2 publications · 159 citations

    2

    h-index

  5. Fall joint computer conference

    Conference · 1 publications · 13 citations

    1

    h-index

1–5