https://deepai.org/publication/state-merging-with-quantifiers-in-symbolic-execution
State Merging with Quantifiers in Symbolic Execution | DeepAI
Aug 23, 2023 - 08/23/23 - We address the problem of constraint encoding explosion which hinders the applicability of state merging in symbolic execution. Sp...
state mergingsymbolic executionquantifiersdeepai
https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/14442
Dagstuhl Seminar 14442: Symbolic Execution and Constraint Solving
dagstuhl seminarsymbolic executionconstraintsolving
https://deepai.org/publication/bounded-symbolic-execution-for-runtime-error-detection-of-erlang-programs
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs | DeepAI
Sep 13, 2018 - 09/13/18 - Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type informa...
runtime error detectionsymbolic executionbounded
https://arxiv.org/html/2603.19239v1
Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
symbolic executiondefusinglogicbombs
https://www.muni.cz/en/research/publications/1078253
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)...
symbolic executionsymbioticsynergyinstrumentationslicing
https://www.easychair.org/publications/keyword/QXv5
Keyword: symbolic execution
keywordsymbolicexecution
https://sites.google.com/site/janbeck/cybersecurity-and-reverse-engineering-fun/angr-qira-pin-vs-ptrace-anti-debug-anti-symbolic-execution
Science And Engineering - Angr, qira & Pin vs. ptrace anti-debug & anti-symbolic-execution
I stumbled across a very interesting anti-debugging technique using ptrace that also trips up Angr unless special ptrace behavior is explained to it. The...
science and engineering
https://www.utwente.nl/en/eemcs/scs/education/assignments/finished-assignments/master/20260319-hybrid-binary-function-similarity-via-ir-symbolic-execution-and-locality-sensitive-hashing/
Hybrid Binary Function Similarity via IR, Symbolic Execution and Locality-sensitive hashing |...
binary function
https://www.muni.cz/en/research/publications/2396645
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution | Masaryk University | MUNI