Testing and analysis of web applications using page models. - Snigdha Athaiya (ISSTA, 2017)

Testing and analysis of web applications using page models. - Snigdha Athaiya; Raghavan Komondoor (ISSTA, 2017)

Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. - Snigdha Athaiya; Raghavan Komondoor; K. Narayan Kumar (ESOP, 2021)