1 paper
Anay Mehrotra, Ayush Bansal, Awanish Pandey +1
Symbolic execution has always been plagued by the inability to handle programs that require highly structured inputs. Most often, the symbolic execution engine gets overwhelmed by…