2023-08-152023-08-15https://publica.fraunhofer.de/handle/publica/448184International Workshop on the State Of the Art in Program Analysis 2023