Mues, M.M.MuesHowar, FalkFalkHowar2022-09-212022-09-212022https://publica.fraunhofer.de/handle/publica/42598610.1007/978-3-030-99527-0_272-s2.0-85128705554GDart is an ensemble of tools allowing dynamic symbolic execution of JVM programs. The dynamic symbolic execution engine is decomposed into three different components: a symbolic decision engine (DSE), a concolic executor (SPouT), and a SMT solver backend allowing meta-strategy solving of SMT problems (JConstraints). The symbolic decision component is loosely coupled with the executor by a newly introduced communication protocol. At SV-COMP 2022, GDart solved 471 of 586 tasks finding more correct false results (302) than correct true results (169). It scored fourth place.enDynamic Symbolic ExecutionSoftware Verificationconference paper