Shrawan Kumar

18 papers A* 1A 4B 1Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2023 — conf
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).
TACAS (2)
Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty
2022 — conf
Automated Validation of Insurance Applications against Calculation Specifications.
ISSRE Workshops
Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
2022 J jnl
Automated Validation of Insurance Applications against Calculation Specifications.
CoRR
Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
2022 — conf
Fast Analysis of Evolving Software Systems.
ISSRE Workshops
Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh
2022 A conf
Identifying Relevant Changes for Incremental Verification of Evolving Software Systems.
SANER
Bharti Chimdyalwar, Anushri Jana, Shrawan Kumar, Ankita Khadsare, Vaidehi Ghime
2021 A conf
Fast Change-Based Alarm Reporting for Evolving Software Systems.
ISSRE
Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh
2021 B conf
Selective path-sensitive interval analysis (WIP paper).
LCTES
Bharti Chimdyalwar, Shrawan Kumar
2020 — conf
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).
TACAS (2)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
2019 A* conf
VeriAbs : Verification by Abstraction and Test Generation.
ASE
Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh
2018 — conf
Property Checking Array Programs Using Loop Shrinking.
TACAS (1)
Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah
2018 — conf
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).
TACAS (2)
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
2017 — conf
VeriAbs: Verification by Abstraction (Competition Contribution).
TACAS (2)
Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh
2015 A conf
Value Slice: A New Slicing Concept for Scalable Property Checking.
TACAS
Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker
2014 J jnl
Sliced Slices: Separating Data and Control Influences.
CoRR
Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker
2013 — conf
Precise range analysis on large industry code.
ESEC/SIGSOFT FSE
Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri
2013 A conf
Scaling Model Checking for Test Generation Using Dynamic Inference.
ICST
Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh
2011 — conf
Effective false positive filtering for evolving software.
ISEC
Bharti Chimdyalwar, Shrawan Kumar
2011 — conf
Static program analysis of large embedded code base: an experience.
ISEC
Shubhangi Khare, Sandeep Saraswat, Shrawan Kumar