Concepedia

Path Merging

Path Merging is a symbolic execution technique that belongs to the class of program analysis methods designed to mitigate path explosion by consolidating feasible execution paths at join points, distinguished by its use of over-approximation or abstraction to represent multiple paths within a single symbolic state.

19

Publications

598

Citations

65

Authors

27

Institutions

Publications per year

2017–2026

7

Parents

Publications

19

MultiSE: multi-path symbolic execution using value summaries

Koushik Sen, George C. Necula, Liang Gong et al. · 2015 · 106 citations

, , +12

Design of a power-reduction Viterbi decoder for WLAN applications

Chien-Ching Lin, Yen-Hsu Shih, Hsie-Chia Chang et al. · IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications · 2005 · 68 citations

, , +17

Efficient Distributed Bandwidth Management for MPLS Fast Reroute

Dongmei Wang, Guangzhi Li · IEEE/ACM Transactions on Networking · 2008 · 63 citations

, , +15

Fork path

Xian Zhang, Guangyu Sun, Chao Zhang et al. · 2015 · 49 citations

, , +15

An Exact and Sustainable Analysis of Non-preemptive Scheduling

Mitra Nasri, Björn B. Brandenburg · 2017 · 47 citations

, , +16

1–5 of 19

Authors

65

  1. CL
    Chien-Ching Lin

    National Yang Ming Chiao Tung University, Taiwan

    2 publications · 81 citations

    2

    h-index

  2. GC
    George C. Necula

    University of California, Berkeley, United States

    1 publications · 106 citations

    1

    h-index

  3. YK
    Yonghwi Kwon

    Korea Advanced Institute of Science and Technology, South Korea

    1 publications · 10 citations

    1

    h-index

  4. TW
    Tao Wang

    Peking University, China

    1 publications · 49 citations

    1

    h-index

  5. WV
    Willem Visser

    Stellenbosch University, South Africa

    1 publications · 20 citations

    1

    h-index

1–5 of 65

Institutions

27

  1. National Yang Ming Chiao Tung University

    Hsinchu, Taiwan

    2 h-index

    7 publications

    311 citations

  2. University of California, Berkeley

    Berkeley, United States

    1 h-index

    4 publications

    424 citations

  3. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    1 h-index

    2 publications

    94 citations

  4. University of Arkansas at Fayetteville

    Fayetteville, United States

    1 h-index

    1 publications

    49 citations

  5. University of York

    York, United Kingdom

    1 h-index

    3 publications

    60 citations

  6. Stellenbosch University

    Stellenbosch, South Africa

    1 h-index

    1 publications

    20 citations

  7. Ain Shams University

    Cairo, Egypt

    1 h-index

    1 publications

    20 citations

  8. University of Guilan

    Rasht, Iran

    1 h-index

    1 publications

    12 citations

1–8 of 27

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 2 publications · 47 citations

    2

    h-index

  2. Wireless Personal Communications

    1 publications · 12 citations

    1

    h-index

  3. 1

    h-index

  4. 1

    h-index

  5. IEEE/ACM Transactions on Networking

    TON · 1 publications · 63 citations

    1

    h-index

1–5