Concepedia

Bounded Symbolic Execution

Bounded Symbolic Execution is a symbolic execution technique that restricts the exploration of program paths to a finite depth or a limited number of loop iterations to mitigate path explosion and ensure termination.

7

Publications

254

Citations

22

Authors

12

Institutions

Publications per year

2017–2026

2

Parents

Publications

7

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems

Xianghua Deng, Jooyong Lee, Robby · 2006 · 106 citations

, , +15

Scaling symbolic execution using ranged analysis

Junaid Haroon Siddiqui, Sarfraz Khurshid · 2012 · 44 citations

, , +16

BLISS: Improved Symbolic Execution by\\ Bounded Lazy Initialization with SAT Support

Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre et al. · IEEE Transactions on Software Engineering · 2015 · 35 citations

, , +12

Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming

Xuandong Li, Lei Bu · Electronic Notes in Theoretical Computer Science · 2007 · 24 citations · Full text

, , +13

HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images

Fabio Gritti, Fabio Pagani, Ilya Grishchenko et al. · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 21 citations

, , +15

1–5 of 7

Authors

22

  1. XL
    Xuandong Li

    Nanjing University, China

    2 publications · 36 citations

    2

    h-index

  2. LB
    Lei Bu

    Nanjing University, China

    2 publications · 36 citations

    2

    h-index

  3. MF
    Marcelo F. Frias

    Instituto Tecnológico de Buenos Aires (ITBA), Argentina

    1 publications · 35 citations

    1

    h-index

  4. XD
    Xianghua Deng

    Kansas State University, United States

    1 publications · 106 citations

    1

    h-index

  5. XC
    Xin Chen

    Nanjing University, China

    1 publications · 12 citations

    1

    h-index

1–5 of 22

Institutions

12

  1. Nanjing University

    Nanjing, China

    2 h-index

    10 publications

    144 citations

  2. Instituto Tecnológico de Buenos Aires (ITBA)

    Buenos Aires, Argentina

    1 h-index

    1 publications

    35 citations

  3. TU Wien

    Vienna, Austria

    1 h-index

    2 publications

    36 citations

  4. Universidad Nacional de Río Cuarto

    Río Cuarto, Argentina

    1 h-index

    1 publications

    35 citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    1 h-index

    2 publications

    48 citations

  6. Stellenbosch University

    Stellenbosch, South Africa

    1 h-index

    2 publications

    70 citations

  7. The University of Texas at Austin

    Austin, United States

    1 h-index

    2 publications

    88 citations

  8. Institute for Infocomm Research

    Singapore, Singapore

    1 h-index

    2 publications

    30 citations

1–8 of 12

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 1 publications · 35 citations

    1

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 24 citations

    1

    h-index

  3. Formal Aspects of Computing

    1 publications · 12 citations

    1

    h-index

  4. 2022 IEEE Symposium on Security and Privacy (SP)

    Conference · 1 publications · 21 citations

1–4