Christakis, M.2022-03-022022-03-022020978-3-030-63617-3978-3-030-63618-0978-3-030-63619-7https://publica.fraunhofer.de/handle/publica/167117Software Verification. 12th International Conference, VSTTE 2020 and 13th International Workshop, NSV 2020