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