Concepedia

Runtime Error Checking

Runtime Error Checking is a methodological approach in error detection that dynamically monitors program execution to identify and report deviations from expected behavior during runtime, distinguishing it from static or compile-time error detection techniques.

47

Publications

2.1K

Citations

119

Authors

66

Institutions

Publications per year

2017–2026

5

Parents

Publications

47

Using programmer-written compiler extensions to catch security holes

Ken Ashcraft, Dawson Engler · 2005 · 204 citations

, , +11

An executable formal semantics of C with applications

Chucky Ellison, Grigore Roşu · ACM SIGPLAN Notices · 2012 · 185 citations

, , +16

An executable formal semantics of C with applications

Chucky Ellison, Grigore Roşu · 2012 · 165 citations

, , +16

JDBC checker: a static analysis tool for SQL/JDBC applications

Zhendong Su, Prémkumar Dévanbu · 2004 · 111 citations

, , +13

Automatic runtime error repair and containment via recovery shepherding

Fan Long, Stelios Sidiroglou-Douskos, Martin Rinard · 2014 · 93 citations · Full text

, , +15

1–5 of 47

Authors

119

  1. PC
    Patrick Cousot

    École Normale Supérieure - PSL, France

    4 publications · 160 citations

    4

    h-index

  2. AM
    Antoine Miné

    École Normale Supérieure - PSL, France

    4 publications · 148 citations

    4

    h-index

  3. LM
    Laurent Mauborgne

    École Normale Supérieure, Burundi

    3 publications · 137 citations

    3

    h-index

  4. JF
    Jérôme Ferêt

    École Normale Supérieure - PSL, France

    3 publications · 137 citations

    3

    h-index

  5. GR
    Grigore Roşu

    University of Illinois Urbana-Champaign, United States

    3 publications · 405 citations

    3

    h-index

1–5 of 119

Institutions

66

  1. École Normale Supérieure - PSL

    Paris, France

    3 h-index

    12 publications

    490 citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    11 publications

    582 citations

  3. University of California, Davis

    Davis, United States

    3 h-index

    8 publications

    641 citations

  4. Technische Universität Dresden

    Dresden, Germany

    3 h-index

    7 publications

    164 citations

  5. École Normale Supérieure

    Bujumbura, Burundi

    3 h-index

    11 publications

    477 citations

  6. Stanford University

    Stanford, United States

    3 h-index

    6 publications

    560 citations

  7. Universitat Politècnica de Catalunya

    Barcelona, Spain

    2 h-index

    11 publications

    184 citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    2 h-index

    3 publications

    167 citations

1–8 of 66

Venues

  1. ACM SIGPLAN Notices

    4 publications · 241 citations

    4

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 2 publications · 57 citations

    2

    h-index

  3. 1

    h-index

  4. International Journal of Parallel Programming

    1 publications · 12 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 55 citations

    1

    h-index

1–5