Concepedia

Selective Symbolic Execution

Selective Symbolic Execution is a symbolic execution technique that selectively explores program paths by applying simplifying assumptions, heuristics, or constraints to prioritize execution along specific code segments of interest, thereby reducing analysis complexity while maintaining targeted coverage.

16

Publications

2K

Citations

54

Authors

20

Institutions

Publications per year

2017–2026

4

Parents

Publications

16

Driller: Augmenting Fuzzing Through Selective Symbolic Execution

Nick Stephens, John Grosen, Christopher Salls et al. · 2016 · 876 citations · Full text

, , +17

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · 2011 · 516 citations

, , +16

The S2E Platform

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · ACM Transactions on Computer Systems · 2012 · 198 citations · Full text

, , +17

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · ACM SIGPLAN Notices · 2011 · 117 citations · Full text

, , +16

Selective Symbolic Execution

Vitaly Chipounov, Vlad Georgescu, Cristian Zamfir · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2009 · 76 citations · Full text

, , +12

1–5 of 16

Authors

54

  1. VC
    Vitaly Chipounov

    École Polytechnique Fédérale de Lausanne, Switzerland

    5 publications · 961 citations

    5

    h-index

  2. GC
    George Candea

    École Polytechnique Fédérale de Lausanne, Switzerland

    4 publications · 885 citations

    4

    h-index

  3. VK
    Volodymyr Kuznetsov

    École Polytechnique Fédérale de Lausanne, Switzerland

    4 publications · 885 citations

    4

    h-index

  4. CC
    Chao Chun Yeh

    Industrial Technology Research Institute, Taiwan

    1 publications · 13 citations

    1

    h-index

  5. PK
    Philipp Kaiser

    RWTH Aachen University, Germany

    1 publications · 12 citations

    1

    h-index

1–5 of 54

Institutions

20

  1. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    5 h-index

    14 publications

    2.8K citations

  2. Nanyang Technological University

    Singapore, Singapore

    1 h-index

    1 publications

    27 citations

  3. Mitchell Institute

    Portland, United States

    1 h-index

    3 publications

    84 citations

  4. National Yang Ming Chiao Tung University

    Hsinchu, Taiwan

    1 h-index

    5 publications

    65 citations

  5. University of California, Santa Barbara

    Santa Barbara, United States

    1 h-index

    9 publications

    7.9K citations

  6. Industrial Technology Research Institute

    Hsinchu, Taiwan

    1 h-index

    1 publications

    13 citations

  7. Nanjing University

    Nanjing, China

    1 h-index

    8 publications

    96 citations

  8. Johannes Kepler University of Linz

    Linz, Austria

    1 h-index

    1 publications

    12 citations

1–8 of 20

Venues

  1. Infoscience (Ecole Polytechnique Fédérale de Lausanne)

    Repository · 1 publications · 76 citations

    1

    h-index

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

    Repository · 1 publications · 12 citations

    1

    h-index

  3. ACM SIGARCH Computer Architecture News

    1 publications · 54 citations

    1

    h-index

  4. ACM Transactions on Computer Systems

    TOCS · 1 publications · 198 citations

    1

    h-index

  5. 1

    h-index

1–5