Varsha P. Suresh

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 5

Top Topics

Embedded Software

Test Case Generation

Top Venues

Publications

Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti
Static Race Detection for Periodic Programs. ESOP (2022)
Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley
WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software. SEKE (2022)
Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan
Handling Backtracking for Symbolic Testing of Embedded Software. ETFA (2019)
Varsha P. Suresh, Sujit Chakrabarti, Raoul Jetley
Automated Test Case Generation for Programmable Logic Controller Code. ISEC (2019)
Gracy Philip, Varsha P. Suresh, Meenakshi D'Souza
Safety Validation Using AADL System Architecture Models. ISEC (2018)