2022-03-022022-03-020960-0833https://publica.fraunhofer.de/handle/publica/117154Software testing, verification & reliability