State Merging for Concolic Testing of Event-Driven Applications
M Vandercammen, C De Roover - Available at SSRN 4713823 - papers.ssrn.com
Symbolic execution suffers from the state explosion problem, where execution of a program
generates an exponential number of execution states that must be explored. This problem …
generates an exponential number of execution states that must be explored. This problem …