2024-07-102024-07-102024-07-10https://infoscience.epfl.ch/handle/20.500.14299/84847FSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering