Varsha P. Suresh

According to our database, Varsha P. Suresh authored at least 5 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software.

Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Static Race Detection for Periodic Programs.

Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti

Proceedings of the Programming Languages and Systems, 2022

2019

Automated Test Case Generation for Programmable Logic Controller Code.

Varsha P. Suresh, Sujit Chakrabarti, Raoul Jetley

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Handling Backtracking for Symbolic Testing of Embedded Software.

Varsha P. Suresh, Sujit Kumar Chakrabarti, Raoul Jetley, Devina Mohan

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Safety Validation Using AADL System Architecture Models.

Gracy Philip, Varsha P. Suresh, Meenakshi D'Souza

Proceedings of the 11th Innovations in Software Engineering Conference, ISEC 2018, Hyderabad, India, February 09, 2018