a public good project by the
Synthesis
Company
of California

© 2026

Parallel Chopped Symbolic Execution | doi.page

0 citations0 references

Google Scholar doi.org

Parallel Chopped Symbolic Execution

Lecture notes in computer science·2020·pp. 107–125

Citations Over TimeTop 10% of 2020 papers

Shikhar Singh, Sarfraz Khurshid

Related Papers

→ Symbolic execution with mixed concrete-symbolic solving(2011)93 cited
→ Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis(2018)9 cited
→ pbSE: Phase-Based Symbolic Execution(2017)2 cited
→ All-values symbolic execution(2012)
→ All-values symbolic execution(2012)