Kovács, L.2022-10-172022-10-172022978-3-031-09826-0978-3-031-09827-7https://publica.fraunhofer.de/handle/publica/427701enTests and proofs : 16th International Conference, TAP 2022