Safety Validation Using AADL System Architecture Models. - Gracy Philip; Varsha P. Suresh; Meenakshi D'Souza (ISEC, 2018)

Handling Backtracking for Symbolic Testing of Embedded Software. - Varsha P. Suresh; Sujit Kumar Chakrabarti; Raoul Jetley; Devina Mohan (ETFA, 2019)

Automated Test Case Generation for Programmable Logic Controller Code. - Varsha P. Suresh; Sujit Chakrabarti; Raoul Jetley (ISEC, 2019)

Static Race Detection for Periodic Programs. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (ESOP, 2022)

WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software. - Varsha P. Suresh; Sujit Kumar Chakrabarti; Athul Suresh; Raoul Jetley (SEKE, 2022)

Static Race Detection for Periodic Real-Time Programs with IPCP Locks. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (The Application of Formal Methods, 2024)