Concepedia

Path Constraint Solving

Path Constraint Solving is a computational method in symbolic execution that determines the satisfiability of symbolic path conditions to identify feasible execution paths through a program.

70

Publications

6.3K

Citations

174

Authors

93

Institutions

Publications per year

2017–2026

10

Parents

Publications

70

1–5 of 70

Authors

174

  1. YD
    Yves Deville

    UCLouvain, Belgium

    4 publications · 85 citations

    4

    h-index

  2. AG
    Arnaud Gotlieb

    Simula Research Laboratory, Norway

    3 publications · 107 citations

    3

    h-index

  3. ST
    Spyros Tragoudas

    Southern Illinois University Carbondale, United States

    3 publications · 116 citations

    3

    h-index

  4. TK
    Turgay Korkmaz

    The University of Texas at San Antonio, United States

    3 publications · 116 citations

    3

    h-index

  5. MP
    Marco Pistoia

    JPMorgan Chase & Co (United States), United States

    3 publications · 104 citations

    3

    h-index

1–5 of 174

Institutions

93

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

    Le Chesnay-Rocquencourt, France

    7 h-index

    10 publications

    529 citations

  2. Chinese Academy of Sciences

    Beijing, China

    6 h-index

    16 publications

    368 citations

  3. National University of Defense Technology

    Changsha, China

    5 h-index

    15 publications

    256 citations

  4. Institute of Software

    Beijing, China

    4 h-index

    8 publications

    384 citations

  5. University of Arizona

    Tucson, United States

    4 h-index

    8 publications

    332 citations

  6. UCLouvain

    Louvain-la-Neuve, Belgium

    4 h-index

    7 publications

    154 citations

  7. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    5 publications

    338 citations

  8. Tel Aviv University

    Tel Aviv, Israel

    3 h-index

    4 publications

    240 citations

1–8 of 93

Venues

  1. Software Practice and Experience

    2 publications · 232 citations

    2

    h-index

  2. Journal of Computer and System Sciences

    2 publications · 141 citations

    2

    h-index

  3. ACM SIGSOFT Software Engineering Notes

    SEN · 2 publications · 315 citations

    2

    h-index

  4. Software Testing Verification and Reliability

    STVR · 1 publications · 78 citations

    1

    h-index

  5. ACM SIGPLAN Notices

    1 publications · 10 citations

    1

    h-index

1–5