Concepedia

Runtime Assertion Checking

Runtime Assertion Checking is a verification method that, during program execution, evaluates predefined logical assertions to detect discrepancies between observed behavior and specified correctness properties.

35

Publications

1.5K

Citations

72

Authors

41

Institutions

Publications per year

2017–2026

5

Variants

Rac

Parents

Publications

35

How the design of JML accommodates both runtime assertion checking and formal verification

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton et al. · Science of Computer Programming · 2004 · 191 citations

, , +11

Improving application security with data flow assertions

Alexander Yip, Xi Wang, Nickolai Zeldovich et al. · 2009 · 175 citations · Full text

, , +13

Universes: Lightweight Ownership for JML.

Werner Dietl, Péter Müller · The Journal of Object Technology · 2005 · 175 citations · Full text

, , +14

A historical perspective on runtime assertion checking in software development

Lori A. Clarke, David S. Rosenblum · ACM SIGSOFT Software Engineering Notes · 2006 · 137 citations · Full text

, , +11

Model variables: cleanly supporting abstraction in design by contract

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman et al. · Software Practice and Experience · 2005 · 120 citations

, , +13

1–5 of 35

Authors

72

  1. YC
    Yoonsik Cheon

    The University of Texas at El Paso, United States

    7 publications · 407 citations

    7

    h-index

  2. GT
    Gary T. Leavens

    Iowa State University, United States

    4 publications · 239 citations

    4

    h-index

  3. WA
    Wladimir Araujo

    Carleton University, Canada

    3 publications · 45 citations

    3

    h-index

  4. YL
    Yvan Labiche

    Carleton University, Canada

    3 publications · 45 citations

    3

    h-index

  5. LB
    Lionel Briand

    University of Luxembourg, Luxembourg

    3 publications · 45 citations

    3

    h-index

1–5 of 72

Institutions

41

  1. The University of Texas at El Paso

    El Paso, United States

    6 h-index

    8 publications

    323 citations

  2. Iowa State University

    Ames, United States

    5 h-index

    7 publications

    752 citations

  3. Carleton University

    Ottawa, Canada

    3 h-index

    4 publications

    60 citations

  4. University of Oslo

    Oslo, Norway

    2 h-index

    2 publications

    33 citations

  5. Columbia University

    New York, United States

    2 h-index

    4 publications

    208 citations

  6. Simula Research Laboratory

    Oslo, Norway

    2 h-index

    2 publications

    33 citations

  7. University of California, Berkeley

    Berkeley, United States

    1 h-index

    3 publications

    57 citations

  8. Paderborn University

    Paderborn, Germany

    1 h-index

    3 publications

    87 citations

1–8 of 41

Venues

  1. Software Practice and Experience

    2 publications · 143 citations

    2

    h-index

  2. Science of Computer Programming

    2 publications · 201 citations

    2

    h-index

  3. Iowa State University Digital Repository (Iowa State University)

    Repository · 1 publications · 24 citations

    2

    h-index

  4. scholarworks - UTEP (The University of Texas at El Paso)

    Repository · 2 publications · 41 citations

    2

    h-index

  5. The R Journal

    1 publications · 22 citations

    1

    h-index

1–5