Static executes-before analysis for event driven programs. - Rekha R. Pai; Abhishek Uppar; Akshatha Shenoy 001; Pranshul Kushwaha; Deepak D'Souza (ESEC/SIGSOFT FSE, 2022)