Pǎsǎreanu, Mehlitz, Bushnell, Gundy-Burlet, Lowry, Person, Pape, 2008. Combining unit-level symbolic execution and system-level concrete execution for testing nasa software, in: . ACM Press.. https://doi.org/10.1145/1390630.1390635