Howar, FalkFalkHowarMues, M.M.Mues2022-09-212022-09-212022https://publica.fraunhofer.de/handle/publica/42598510.1007/978-3-030-99527-0_292-s2.0-85128704894GWIT is a validator for violation witnesses produced by Java verifiers in the SV-COMP software verification competition. GWIT weaves assumptions documented in a witness into the source code of a program, effectively restricting the part of the program that is explored by a program analysis. It then uses the GDart tool (dynamic symbolic execution) to search for reachable errors in the modified program.enconference paper