Up a level |
Pai, R and Uppar, A and Shenoy, A and Kushwaha, P and D'Souza, D (2022) Static executes-before analysis for event driven programs. In: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 7 November 2022, Singapore, pp. 233-244.