Concepedia

Static Error Analysis

Static Error Analysis is a systematic method within the field of error detection that involves the examination of software or computational systems without executing them, distinguishing it from dynamic approaches by identifying potential errors through syntactic, semantic, or structural analysis of static artifacts such as source code or design models.

128

Publications

5.7K

Citations

347

Authors

149

Institutions

Publications per year

2017–2026

34

Parents

Publications

128

Using Static Analysis to Find Bugs

Nathaniel Ayewah, William Pugh, David Hovemeyer et al. · IEEE Software · 2008 · 522 citations

, , +14

A static analyzer for finding dynamic programming errors

William R. Bush, Jonathan D. Pincus, David Sielaff · Software Practice and Experience · 2000 · 515 citations

, , +15

Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software

Moritz Beller, Radjino Bholanath, Shane McIntosh et al. · 2016 · 206 citations · Full text

, , +10

Automatically improving accuracy for floating point expressions

Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox et al. · 2015 · 161 citations

, , +11

A systematic literature review of actionable alert identification techniques for automated static code analysis

Sarah Heckman, Laurie Williams · Information and Software Technology · 2010 · 148 citations

, , +16

1–5 of 128

Authors

347

  1. DH
    David Hovemeyer

    University of Maryland, College Park, United States

    6 publications · 753 citations

    6

    h-index

  2. PC
    Patrick Cousot

    École Normale Supérieure - PSL, France

    5 publications · 165 citations

    5

    h-index

  3. WP
    William Pugh

    University of Maryland, College Park, United States

    5 publications · 741 citations

    5

    h-index

  4. RG
    Robert Grimm

    New York University, United States

    4 publications · 143 citations

    4

    h-index

  5. JF
    Jérôme Ferêt

    École Normale Supérieure - PSL, France

    4 publications · 142 citations

    4

    h-index

1–5 of 347

Institutions

149

  1. University of Maryland, College Park

    College Park, United States

    7 h-index

    24 publications

    2.2K citations

  2. North Carolina State University

    Raleigh, United States

    6 h-index

    16 publications

    582 citations

  3. New York University

    New York, United States

    6 h-index

    7 publications

    271 citations

  4. IBM (United States)

    Armonk, United States

    5 h-index

    6 publications

    257 citations

  5. University of Massachusetts Amherst

    Amherst Center, United States

    5 h-index

    12 publications

    283 citations

  6. Università della Svizzera italiana

    Lugano, Switzerland

    4 h-index

    8 publications

    193 citations

  7. Stanford University

    Stanford, United States

    4 h-index

    8 publications

    220 citations

  8. École Normale Supérieure

    Bujumbura, Burundi

    4 h-index

    17 publications

    623 citations

1–8 of 149

Venues

  1. ACM SIGPLAN Notices

    5 publications · 138 citations

    5

    h-index

  2. Journal of Systems and Software

    JSS · 5 publications · 201 citations

    5

    h-index

  3. Software Practice and Experience

    3 publications · 621 citations

    3

    h-index

  4. Computer

    2 publications · 92 citations

    2

    h-index

  5. ACM SIGSOFT Software Engineering Notes

    SEN · 2 publications · 118 citations

    2

    h-index

1–5