Concepedia

Path Feasibility Analysis

Path Feasibility Analysis is a static analysis technique within control-flow analysis that determines whether a given execution path in a program can be realized under feasible program inputs and constraints, thereby distinguishing paths that are theoretically possible from those that are computationally unreachable.

32

Publications

1.5K

Citations

74

Authors

38

Institutions

Publications per year

2017–2026

7

Variants

Feasible Path Analysis

Parents

Publications

32

Automated test data generation using an iterative relaxation method

Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa · 1998 · 180 citations

, , +15

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

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)

Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift · 2009 · 101 citations · Full text

, , +16

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 32

Authors

74

  1. QS
    Qingkai Shi

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

    3 publications · 155 citations

    3

    h-index

  2. CZ
    Charles Zhang

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

    3 publications · 155 citations

    3

    h-index

  3. RW
    Rongxin Wu

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

    3 publications · 155 citations

    3

    h-index

  4. RM
    Robert M. Hierons

    Brunel University of London, United Kingdom

    2 publications · 130 citations

    2

    h-index

  5. RM
    Rupak Majumdar

    Max Planck Institute for Software Systems, Germany

    2 publications · 184 citations

    2

    h-index

1–5 of 74

Institutions

38

  1. Chinese Academy of Sciences

    Beijing, China

    3 h-index

    5 publications

    327 citations

  2. Institute of Software

    Beijing, China

    3 h-index

    5 publications

    327 citations

  3. Hong Kong University of Science and Technology

    Hong Kong, Hong Kong

    3 h-index

    11 publications

    598 citations

  4. University of Pittsburgh

    Pittsburgh, United States

    2 h-index

    2 publications

    220 citations

  5. Microsoft (Finland)

    Espoo, Finland

    2 h-index

    6 publications

    123 citations

  6. Purdue University West Lafayette

    West Lafayette, United States

    2 h-index

    4 publications

    440 citations

  7. University of Technology Sydney

    Sydney, Australia

    2 h-index

    2 publications

    36 citations

  8. University of Liverpool

    Liverpool, United Kingdom

    2 h-index

    4 publications

    212 citations

1–8 of 38

Venues

  1. ACM SIGSOFT Software Engineering Notes

    SEN · 3 publications · 110 citations

    3

    h-index

  2. ACM SIGPLAN Notices

    2 publications · 125 citations

    2

    h-index

  3. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 1 publications · 16 citations

    1

    h-index

  4. 1

    h-index

  5. American Journal of Medical Genetics Part A

    1 publications · 32 citations

    1

    h-index

1–5