Shrawan Kumar

According to our database, Shrawan Kumar authored at least 17 papers between 2011 and 2023.

Collaborative distances:

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

2023

VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).

Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Identifying Relevant Changes for Incremental Verification of Evolving Software Systems.

Bharti Chimdyalwar, Anushri Jana, Shrawan Kumar, Ankita Khadsare, Vaidehi Ghime

Proceedings of the IEEE International Conference on Software Analysis, 2022

Fast Analysis of Evolving Software Systems.

Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Automated Validation of Insurance Applications against Calculation Specifications.

Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021

Selective path-sensitive interval analysis (WIP paper).

Bharti Chimdyalwar, Shrawan Kumar

Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021

Fast Change-Based Alarm Reporting for Evolving Software Systems.

Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2020

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).

Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

VeriAbs : Verification by Abstraction and Test Generation.

Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Property Checking Array Programs Using Loop Shrinking.

Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).

Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

VeriAbs: Verification by Abstraction (Competition Contribution).

Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015

Value Slice: A New Slicing Concept for Scalable Property Checking.

Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Sliced Slices: Separating Data and Control Influences.

Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker

CoRR, 2014

2013

Precise range analysis on large industry code.

Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Scaling Model Checking for Test Generation Using Dynamic Inference.

Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011

Static program analysis of large embedded code base: an experience.

Shubhangi Khare, Sandeep Saraswat, Shrawan Kumar

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

Effective false positive filtering for evolving software.

Bharti Chimdyalwar, Shrawan Kumar

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011