Concepedia

Program Path Feasibility

Program Path Feasibility is a symbolic execution predicate that determines whether a given sequence of program branches admits at least one concrete input assignment satisfying all associated path constraints, thereby distinguishing feasible execution paths from spurious ones.

22

Publications

1.6K

Citations

37

Authors

22

Institutions

Publications per year

2017–2026

4

Parents

Publications

22

Compositional dynamic test generation

Patrice Godefroid · ACM SIGPLAN Notices · 2007 · 411 citations

, , +13

Compositional dynamic test generation

Patrice Godefroid · 2007 · 311 citations

, , +13

Pinpoint: fast and precise sparse value flow analysis for million lines of code

Qingkai Shi, Xiao Xiao, Rongxin Wu et al. · 2018 · 115 citations

, , +13

Path slicing

Ranjit Jhala, Rupak Majumdar · ACM SIGPLAN Notices · 2005 · 107 citations

, , +13

A CONSTRAINT SOLVER AND ITS APPLICATION TO PATH FEASIBILITY ANALYSIS

Jian Zhang, Xiaoxu Wang · International Journal of Software Engineering and Knowledge Engineering · 2001 · 80 citations

, , +13

1–5 of 22

Authors

37

  1. JZ
    Jian Zhang

    Institute of Software, China

    3 publications · 111 citations

    3

    h-index

  2. PG
    Patrice Godefroid

    Microsoft (United States), United States

    2 publications · 722 citations

    2

    h-index

  3. RW
    Rongxin Wu

    Hong Kong University of Science and Technology, Hong Kong SAR China

    2 publications · 133 citations

    2

    h-index

  4. NM
    Nicos Malevris

    Athens University of Economics and Business, Greece

    2 publications · 106 citations

    2

    h-index

  5. CZ
    Charles Zhang

    Hong Kong University of Science and Technology, Hong Kong SAR China

    2 publications · 133 citations

    2

    h-index

1–5 of 37

Institutions

22

  1. Chinese Academy of Sciences

    Beijing, China

    4 h-index

    7 publications

    290 citations

  2. Institute of Software

    Beijing, China

    4 h-index

    6 publications

    273 citations

  3. Microsoft (Finland)

    Espoo, Finland

    2 h-index

    6 publications

    123 citations

  4. University of California, Los Angeles

    Los Angeles, United States

    2 h-index

    2 publications

    184 citations

  5. University of Bahrain

    Madīnat ‘Īsá, Bahrain

    2 h-index

    2 publications

    42 citations

  6. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    2 publications

    722 citations

  7. University of California San Diego

    San Diego, United States

    2 h-index

    2 publications

    184 citations

  8. Microsoft (United States)

    Redmond, United States

    2 h-index

    4 publications

    498 citations

1–8 of 22

Venues

  1. ACM SIGPLAN Notices

    3 publications · 536 citations

    3

    h-index

  2. ACM SIGSOFT Software Engineering Notes

    SEN · 2 publications · 70 citations

    2

    h-index

  3. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 79 citations

    1

    h-index

  4. Software Testing Verification and Reliability

    STVR · 1 publications · 14 citations

    1

    h-index

  5. Journal of the Operational Research Society

    OR · 1 publications · 22 citations

    1

    h-index

1–5