2022-10-172022-10-17https://publica.fraunhofer.de/handle/publica/427699International Conference on Tests and Proofs 2022