Varsha P Suresh

Employment

Employment history is unavailable.

Education

• International Institute of Information Technology Bangalore PhD

Projects & Funding

Projects & funding information is unavailable.

Publications (6)

• Static Race Detection for Periodic Programs
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2022 DOI: 10.1007/978-3-030-99336-8_11
  +Save
• Static Race Detection for Periodic Programs
  Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, … 2022 DOI: 10.1007/978-3-030-99336-8\_11
  +Save
• WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software
  The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022 2022 DOI: 10.18293/SEKE2022-147
  +Save
• Automated Test Case Generation for Programmable Logic Controller Code
  Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), ISEC 2019, Pune, India, February 14-16, 2019 2019 DOI: 10.1145/3299771.3299799
  +Save
• Handling Backtracking for Symbolic Testing of Embedded Software
  24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019 2019 DOI: 10.1109/ETFA.2019.8869097
  +Save
• Safety Validation Using AADL System Architecture Models
  Proceedings of the 11th Innovations in Software Engineering Conference, ISEC 2018, Hyderabad, India, February 09 - 11, 2018 2018 DOI: 10.1145/3172871.3172877
  +Save