Concepedia

Static Analysis For Testing

Static Analysis for Testing is a software testing method that belongs to the class of static verification techniques, distinguished by its systematic examination of source code or software artifacts without execution to identify defects, vulnerabilities, or deviations from quality standards.

36

Publications

1.5K

Citations

97

Authors

45

Institutions

Publications per year

2017–2026

5

Parents

Publications

36

Juliet 1.1 C/C++ and Java Test Suite

Tim Boland, Paul E. Black · Computer · 2012 · 151 citations

, , +10

Parametrical static analysis on group studs with typical push-out tests

Chen Xu, Kunitomo Sugiura, Chong Wu et al. · Journal of Constructional Steel Research · 2011 · 148 citations

, , +7

Automating Software Testing Using Program Analysis

Patrice Godefroid, Peli de Halleux, Aditya V. Nori et al. · IEEE Software · 2008 · 119 citations

, , +16

Combined static and dynamic automated test generation

Sai Zhang, David Saff, Yingyi Bu et al. · 2011 · 118 citations

, , +13

Testing the results of static worst-case execution-time analysis

Peter Puschner, Roman Nossal · 2002 · 81 citations

, , +15

1–5 of 36

Authors

97

  1. PE
    Paul E. Black

    National Institute of Standards and Technology, United States

    2 publications · 162 citations

    2

    h-index

  2. SR
    Simone Romano

    University of Basilicata, Italy

    1 publications · 18 citations

    1

    h-index

  3. AS
    August Shi

    University of Illinois Urbana-Champaign, United States

    1 publications · 33 citations

    1

    h-index

  4. MM
    Madanlal Musuvathi

    Microsoft (United States), United States

    1 publications · 19 citations

    1

    h-index

  5. AZ
    Andreas Zeller

    Saarland University, Germany

    1 publications · 32 citations

    1

    h-index

1–5 of 97

Institutions

45

  1. National Institute of Standards and Technology

    Gaithersburg, United States

    3 h-index

    6 publications

    403 citations

  2. National Institute of Standards

    Giza, Egypt

    2 h-index

    3 publications

    313 citations

  3. Colorado State University

    Fort Collins, United States

    1 h-index

    1 publications

    66 citations

  4. Systems, Applications & Products in Data Processing (Germany)

    Walldorf, Germany

    1 h-index

    1 publications

    20 citations

  5. Google (United States)

    Mountain View, United States

    1 h-index

    1 publications

    118 citations

  6. Saarland University

    Saarbrücken, Germany

    1 h-index

    1 publications

    32 citations

  7. Kyoto University

    Kyoto, Japan

    1 h-index

    2 publications

    296 citations

  8. University of California, Irvine

    Irvine, United States

    1 h-index

    1 publications

    118 citations

1–8 of 45

Venues

  1. Computer

    3 publications · 243 citations

    3

    h-index

  2. IEEE Software

    2 publications · 129 citations

    2

    h-index

  3. 1

    h-index

  4. Software Engineering Journal

    1 publications · 68 citations

    1

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 33 citations

    1

    h-index

1–5