Effective false positive filtering for evolving software. - Bharti Chimdyalwar; Shrawan Kumar 001 (ISEC, 2011)

Static program analysis of large embedded code base: an experience. - Shubhangi Khare; Sandeep Saraswat; Shrawan Kumar 001 (ISEC, 2011)

Scaling Model Checking for Test Generation Using Dynamic Inference. - Anand Yeolekar; Divyesh Unadkat; Vivek Agarwal; Shrawan Kumar 001; R. Venkatesh 001 (ICST, 2013)

Precise range analysis on large industry code. - Shrawan Kumar 001; Bharti Chimdyalwar; Ulka Shrotri (ESEC/SIGSOFT FSE, 2013)

Sliced Slices: Separating Data and Control Influences. - Shrawan Kumar 001; Amitabha Sanyal; Uday P. Khedker (CoRR, 2014)

Value Slice: A New Slicing Concept for Scalable Property Checking. - Shrawan Kumar 001; Amitabha Sanyal; Uday P. Khedker (TACAS, 2015)

VeriAbs: Verification by Abstraction (Competition Contribution). - Bharti Chimdyalwar; Priyanka Darke; Avriti Chauhan; Punit Shah; Shrawan Kumar 001; R. Venkatesh 001 (TACAS (2), 2017)

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). - Priyanka Darke; Sumanth Prabhu 001; Bharti Chimdyalwar; Avriti Chauhan; Shrawan Kumar 001; Animesh Basak Chowdhury; R. Venkatesh 001; Advaita Datar; Raveendra Kumar Medicherla (TACAS (2), 2018)

Property Checking Array Programs Using Loop Shrinking. - Shrawan Kumar 001; Amitabha Sanyal; R. Venkatesh 001; Punit Shah (TACAS (1), 2018)

VeriAbs : Verification by Abstraction and Test Generation. - Mohammad Afzal; Asia A; Avriti Chauhan; Bharti Chimdyalwar; Priyanka Darke; Advaita Datar; Shrawan Kumar 001; R. Venkatesh 001 (ASE, 2019)

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). - Mohammad Afzal; Supratik Chakraborty; Avriti Chauhan; Bharti Chimdyalwar; Priyanka Darke; Ashutosh Gupta 001; Shrawan Kumar 001; Charles Babu M; Divyesh Unadkat; R. Venkatesh 001 (TACAS (2), 2020)

Fast Change-Based Alarm Reporting for Evolving Software Systems. - Anushri Jana; Ankita Khadsare; Bharti Chimdyalwar; Shrawan Kumar 001; Vaidehi Ghime; R. Venkatesh 001 (ISSRE, 2021)

Selective path-sensitive interval analysis (WIP paper). - Bharti Chimdyalwar; Shrawan Kumar 001 (LCTES, 2021)

Automated Validation of Insurance Applications against Calculation Specifications. - Advaita Datar; Amey Zare; Asia A; R. Venkatesh 001; Shrawan Kumar 001; Ulka Shrotri (ISSRE Workshops, 2022)

Fast Analysis of Evolving Software Systems. - Anushri Jana; Bharti Chimdyalwar; Shrawan Kumar 001; R. Venkatesh 001 (ISSRE Workshops, 2022)

Identifying Relevant Changes for Incremental Verification of Evolving Software Systems. - Bharti Chimdyalwar; Anushri Jana; Shrawan Kumar 001; Ankita Khadsare; Vaidehi Ghime (SANER, 2022)

VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). - Priyanka Darke; Bharti Chimdyalwar; Sakshi Agrawal; Shrawan Kumar 001; R. Venkatesh 001; Supratik Chakraborty (TACAS (2), 2023)