Concepedia

Dynamic Code Analysis

Dynamic Code Analysis is a software verification technique that belongs to the class of code analysis methods, distinguished by its examination of program behavior during execution to identify vulnerabilities and defects in running applications.

298

Publications

17.9K

Citations

754

Authors

266

Institutions

Publications per year

2017–2026

60

Parents

Publications

298

Dynamically discovering likely program invariants to support program evolution

Michael D. Ernst, Jake Cockrell, William G. Griswold et al. · IEEE Transactions on Software Engineering · 2001 · 1K citations

, , +13

Locating features in source code

Thomas Eisenbarth, Rainer Koschke, Daniel Simon · IEEE Transactions on Software Engineering · 2003 · 559 citations

, , +11

A static analyzer for finding dynamic programming errors

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

, , +15

Static determination of dynamic properties of programs

Patrick Cousot, Radhia Cousot · 1976 · 473 citations

, , +14

Finding application errors and security flaws using PQL

Michael C. Martin, Benjamin Livshits, Monica S. Lam · 2005 · 440 citations

, , +16

1–5 of 298

Authors

754

  1. WB
    Walter Binder

    Università della Svizzera italiana, Switzerland

    9 publications · 276 citations

    9

    h-index

  2. MD
    Michael D. Ernst

    University of Washington, United States

    9 publications · 1.9K citations

    9

    h-index

  3. AO
    Alessandro Orso

    Georgia Institute of Technology, United States

    7 publications · 240 citations

    7

    h-index

  4. ON
    Oscar Nierstrasz

    University of Bern, Switzerland

    5 publications · 84 citations

    5

    h-index

  5. DA
    Danilo Ansaloni

    Università della Svizzera italiana, Switzerland

    5 publications · 195 citations

    5

    h-index

1–5 of 754

Institutions

266

  1. Università della Svizzera italiana

    Lugano, Switzerland

    12 h-index

    36 publications

    912 citations

  2. Georgia Institute of Technology

    Atlanta, United States

    11 h-index

    18 publications

    898 citations

  3. Stanford University

    Stanford, United States

    8 h-index

    15 publications

    2.2K citations

  4. University of Milano-Bicocca

    Milan, Italy

    7 h-index

    17 publications

    1.5K citations

  5. North Carolina State University

    Raleigh, United States

    7 h-index

    12 publications

    491 citations

  6. The Ohio State University

    Columbus, United States

    7 h-index

    17 publications

    556 citations

  7. Massachusetts Institute of Technology

    Cambridge, United States

    7 h-index

    14 publications

    1.7K citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    6 h-index

    13 publications

    394 citations

1–8 of 266

Venues

  1. ACM SIGPLAN Notices

    11 publications · 417 citations

    11

    h-index

  2. ACM SIGSOFT Software Engineering Notes

    SEN · 11 publications · 639 citations

    11

    h-index

  3. arXiv (Cornell University)

    Repository · 6 publications · 281 citations

    6

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 5 publications · 2.1K citations

    5

    h-index

  5. Computer

    3 publications · 325 citations

    3

    h-index

1–5