Concepedia

Dynamic Symbolic Execution

Dynamic Symbolic Execution is a program analysis technique that combines concrete execution with symbolic reasoning to systematically explore feasible execution paths by generating input constraints and solving them to guide test case generation.

136

Publications

8.4K

Citations

351

Authors

150

Institutions

Publications per year

2017–2026

41

Parents

Publications

136

Symbolic execution for software testing

Cristian Cadar, Koushik Sen · Communications of the ACM · 2013 · 749 citations

, , +8

All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

Edward J. Schwartz, Thanassis Avgerinos, David Brumley · 2010 · 702 citations · Full text

, , +12

Heuristics for Scalable Dynamic Test Generation

Jacob Burnim, Koushik Sen · 2008 · 408 citations

, , +15

TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection

Tielei Wang, Tao Wei, Guofei Gu et al. · 2010 · 387 citations

, , +17

Symbolic dynamic analysis of complex systems for anomaly detection

Asok Ray · Signal Processing · 2004 · 379 citations

, , +13

1–5 of 136

Authors

351

  1. TX
    Tao Xie

    North Carolina State University, United States

    16 publications · 1K citations

    15

    h-index

  2. NT
    Nikolai Tillmann

    Microsoft (United States), United States

    15 publications · 1.1K citations

    14

    h-index

  3. JD
    Jonathan de Halleux

    Microsoft (United States), United States

    9 publications · 626 citations

    9

    h-index

  4. WS
    Wolfram Schulte

    Microsoft (United States), United States

    5 publications · 400 citations

    5

    h-index

  5. ZS
    Zhendong Su

    University of California, Davis, United States

    5 publications · 132 citations

    5

    h-index

1–5 of 351

Institutions

150

  1. Microsoft (United States)

    Redmond, United States

    18 h-index

    37 publications

    2.5K citations

  2. North Carolina State University

    Raleigh, United States

    11 h-index

    20 publications

    1.3K citations

  3. Commissariat à l'Énergie Atomique et aux Énergies Alternatives

    Paris, France

    6 h-index

    14 publications

    429 citations

  4. University of California, Berkeley

    Berkeley, United States

    6 h-index

    17 publications

    3K citations

  5. Institute for System Programming

    Moscow, Russia

    5 h-index

    17 publications

    237 citations

  6. University of Illinois Urbana-Champaign

    Urbana, United States

    5 h-index

    8 publications

    338 citations

  7. Laboratoire d'Intégration des Systèmes et des Technologies

    Palaiseau, France

    5 h-index

    11 publications

    345 citations

  8. Imperial College London

    London, United Kingdom

    5 h-index

    11 publications

    991 citations

1–8 of 150

Venues

  1. ACM Transactions on Software Engineering and Methodology

    TOSEM · 3 publications · 75 citations

    3

    h-index

  2. IEEE Transactions on Reliability

    2 publications · 52 citations

    2

    h-index

  3. ACM SIGPLAN Notices

    2 publications · 32 citations

    2

    h-index

  4. IEEE Access

    2 publications · 45 citations

    2

    h-index

  5. 2

    h-index

1–5