Concepedia

Model-based Debugging

Model-Based Debugging is a debugging methodology that systematically identifies and resolves defects in embedded systems by leveraging a formal model of the system’s expected behavior to generate, simulate, and validate dynamic execution traces against observed outcomes.

88

Publications

3.4K

Citations

194

Authors

83

Institutions

Publications per year

2017–2026

15

Parents

Publications

88

Deep Learning Scaling is Predictable, Empirically

Joel Hestness, Sharan Narang, Newsha Ardalani et al. · arXiv (Cornell University) · 2017 · 424 citations · Full text

, , +16

Debugging with dynamic slicing and backtracking

Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford · Software Practice and Experience · 1993 · 309 citations

, , +12

Leveraging existing instrumentation to automatically infer invariant-constrained models

Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider et al. · 2011 · 221 citations

, , +16

Debugging heterogeneous distributed systems using event-based models of behavior

Peter Bates · ACM Transactions on Computer Systems · 1995 · 154 citations

, , +17

On the relationship between model-based debugging and program slicing

Franz Wotawa · Artificial Intelligence · 2002 · 86 citations

, , +14

1–5 of 88

Authors

194

  1. MS
    Markus Stumptner

    University of South Australia, Australia

    14 publications · 445 citations

    14

    h-index

  2. FW
    Franz Wotawa

    Graz University of Technology, Austria

    14 publications · 402 citations

    13

    h-index

  3. WM
    Wolfgang Mayer

    University of South Australia, Australia

    8 publications · 280 citations

    8

    h-index

  4. PB
    Peter Bates

    University of Massachusetts Amherst, United States

    4 publications · 273 citations

    4

    h-index

  5. PF
    Peter Fritzson

    Linköping University, Sweden

    4 publications · 83 citations

    4

    h-index

1–5 of 194

Institutions

83

  1. Graz University of Technology

    Graz, Austria

    9 h-index

    22 publications

    760 citations

  2. University of South Australia

    Adelaide, Australia

    7 h-index

    14 publications

    524 citations

  3. TU Wien

    Vienna, Austria

    7 h-index

    15 publications

    500 citations

  4. Linköping University

    Linköping, Sweden

    4 h-index

    12 publications

    230 citations

  5. University of Massachusetts Amherst

    Amherst Center, United States

    3 h-index

    4 publications

    135 citations

  6. University of Toronto

    Toronto, Canada

    3 h-index

    6 publications

    102 citations

  7. Institute of Software

    Beijing, China

    3 h-index

    4 publications

    103 citations

  8. Delft University of Technology

    Delft, The Netherlands

    3 h-index

    8 publications

    186 citations

1–8 of 83

Venues

  1. arXiv (Cornell University)

    Repository · 3 publications · 468 citations

    3

    h-index

  2. International Joint Conference on Artificial Intelligence

    Conference · 2 publications · 27 citations

    2

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 80 citations

    2

    h-index

  4. ACM SIGPLAN Notices

    2 publications · 51 citations

    2

    h-index

  5. SIMULATION

    2 publications · 63 citations

    2

    h-index

1–5