Concepedia

Counterexample Generation

Counterexample Generation is the systematic process of producing a specific execution trace that demonstrates the violation of a specified property within a model or program, distinguishing it from general error detection methods by its focus on constructing concrete, verifiable counterexamples to aid in debugging and verification.

124

Publications

5.3K

Citations

266

Authors

135

Institutions

Publications per year

2017–2026

28

Parents

Publications

124

Cryptanalyzing an Image Encryption Algorithm Based on Autoblocking and Electrocardiography

Chengqing Li, Dongdong Lin, Jinhu Lü et al. · IEEE Multimedia · 2018 · 262 citations

, , +15

What Good are Counterexamples?

Brian Weatherson · Philosophical Studies · 2003 · 239 citations

, , +5

MCMAS: an open-source model checker for the verification of multi-agent systems

Alessio Lomuscio, Hongyang Qu, Franco Raimondi · International Journal on Software Tools for Technology Transfer · 2015 · 223 citations · Full text

, , +15

Efficient generation of counterexamples and witnesses in symbolic model checking

E. M. Clarke, Orna Grümberg, Kenneth L. McMillan et al. · 1995 · 220 citations · Full text

, , +11

Generating Tests from Counterexamples

2004 · 199 citations

, , +17

1–5 of 124

Authors

266

  1. SS
    Sharon Shoham

    Tel Aviv University, Israel

    4 publications · 378 citations

    4

    h-index

  2. GF
    Görschwin Fey

    University of Bremen, Germany

    4 publications · 67 citations

    4

    h-index

  3. KL
    Kenneth L. McMillan

    Carnegie Mellon University, United States

    4 publications · 452 citations

    4

    h-index

  4. SA
    Sanjit A. Seshia

    University of California, Berkeley, United States

    3 publications · 35 citations

    3

    h-index

  5. WS
    Walter Schaeken

    KU Leuven, Belgium

    3 publications · 184 citations

    3

    h-index

1–5 of 266

Institutions

135

  1. University of California, Berkeley

    Berkeley, United States

    6 h-index

    15 publications

    992 citations

  2. Microsoft (United States)

    Redmond, United States

    6 h-index

    16 publications

    946 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    8 publications

    836 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    9 publications

    152 citations

  5. University of Bremen

    Bremen, Germany

    4 h-index

    10 publications

    168 citations

  6. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    3 publications

    80 citations

  7. Tel Aviv University

    Tel Aviv, Israel

    3 h-index

    8 publications

    697 citations

  8. University of Pennsylvania

    Philadelphia, United States

    3 h-index

    12 publications

    476 citations

1–8 of 135

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 4 publications · 339 citations

    4

    h-index

  2. 4

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 92 citations

    3

    h-index

  4. arXiv (Cornell University)

    Repository · 3 publications · 46 citations

    3

    h-index

  5. American Mathematical Monthly

    3 publications · 52 citations

    3

    h-index

1–5