Divide, Conquer and Verify: Improving Symbolic Execution Performance. - Christopher Scherb; Luc Bryan Heitz; Hermann Grieder; Olivier Mattmann (CoRR, 2023)