Concepedia

Assertion Checking

Assertion Checking is a formal verification technique within symbolic execution that systematically evaluates whether specified logical assertions hold true for all feasible execution paths by distinguishing program states through constraint solving over symbolic inputs.

345

Publications

16.2K

Citations

715

Authors

270

Institutions

Publications per year

2017–2026

35

Parents

Publications

345

Bandera

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

, , +15

Contracts for higher-order functions

Robert Bruce Findler, Matthias Felleisen · 2002 · 441 citations

, , +16

A practical approach to programming with assertions

David S. Rosenblum · IEEE Transactions on Software Engineering · 1995 · 336 citations

, , +10

The pointer assertion logic engine

Anders Møller, Michael I. Schwartzbach · 2001 · 264 citations

, , +16

Non-linear loop invariant generation using Gröbner bases

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna · 2004 · 252 citations

, , +16

1–5 of 345

Authors

715

  1. YC
    Yoonsik Cheon

    The University of Texas at El Paso, United States

    9 publications · 436 citations

    9

    h-index

  2. BJ
    Bart Jacobs

    Radboud University Nijmegen, Netherlands

    7 publications · 495 citations

    7

    h-index

  3. MV
    Manuel V. Hermenegildo

    Universidad Politécnica de Madrid, Spain

    7 publications · 149 citations

    7

    h-index

  4. GT
    Gary T. Leavens

    Iowa State University, United States

    6 publications · 376 citations

    6

    h-index

  5. ZM
    Zohar Manna

    Stanford University, United States

    5 publications · 567 citations

    5

    h-index

1–5 of 715

Institutions

270

  1. Microsoft (United States)

    Redmond, United States

    14 h-index

    20 publications

    1.1K citations

  2. Stanford University

    Stanford, United States

    9 h-index

    19 publications

    1.8K citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    9 h-index

    29 publications

    2.8K citations

  4. The University of Texas at El Paso

    El Paso, United States

    8 h-index

    13 publications

    391 citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    20 publications

    326 citations

  6. The University of Texas at Austin

    Austin, United States

    7 h-index

    14 publications

    786 citations

  7. Iowa State University

    Ames, United States

    7 h-index

    10 publications

    1K citations

  8. Technion – Israel Institute of Technology

    Haifa, Israel

    6 h-index

    7 publications

    429 citations

1–8 of 270

Venues

  1. ACM SIGPLAN Notices

    18 publications · 755 citations

    15

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 10 publications · 701 citations

    10

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 8 publications · 628 citations

    8

    h-index

  4. Theoretical Computer Science

    7 publications · 302 citations

    7

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 4 publications · 165 citations

    4

    h-index

1–5