2025-08-062025-08-06https://publica.fraunhofer.de/handle/publica/490252International Conference on the Foundations of Software Engineering 2025