E-LIB Suche - Ergebnisse für: Chimdyalwar, Bharti

1

VeriAbsL: Scalable Verification by Abstraction and Strategy..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Darke, Priyanka ; Chimdyalwar, Bharti ; Agrawal, Sakshi... - p. 588-593 , 2023

Link: https://doi.org/10.1007/..

2

OLA: Property Directed Outer Loop Abstraction for Efficient..:

, In: 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Darke, Priyanka ; Chimdyalwar, Bharti - p. 436-440 , 2023

Link: https://doi.org/10.1109/..

3

IR Mapping: Intermediate Representation (IR) based Mapping ..:

, In: 15th Innovations in Software Engineering Conference,

Ghime, Vaidehi ; Khadsare, Ankita ; Jana, Anushri. - p. 1-5 , 2022

Link: https://dl.acm.org/doi/1..

4

Identifying Relevant Changes for Incremental Verification o..:

, In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),

Chimdyalwar, Bharti ; Jana, Anushri ; Kumar, Shrawan.. - p. 657-661 , 2022

Link: https://doi.org/10.1109/..

5

Fast Analysis of Evolving Software Systems:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Jana, Anushri ; Chimdyalwar, Bharti ; Kumar, Shrawan. - p. 49-54 , 2022

Link: https://doi.org/10.1109/..

6

Selective path-sensitive interval analysis (WIP paper):

, In: Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems,

Chimdyalwar, Bharti ; Kumar, Shrawan - p. 146-150 , 2021

Link: https://dl.acm.org/doi/1..

7

Fast Change-Based Alarm Reporting for Evolving Software Sys..:

, In: 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE),

Jana, Anushri ; Khadsare, Ankita ; Chimdyalwar, Bharti... - p. 546-556 , 2021

Link: https://doi.org/10.1109/..

8

VeriAbs : Verification by Abstraction and Test Generation (..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Afzal, Mohammad ; Chakraborty, Supratik ; Chauhan, Avriti... - p. 383-387 , 2020

Link: https://doi.org/10.1007/..

9

VeriAbs : verification by abstraction and test generatio:

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

Afzal, Mohammad ; Asia, A ; Chauhan, Avriti... - p. 1138-1141 , 2019

Link: https://dl.acm.org/doi/1..

10

VeriAbs : Verification by Abstraction and Test Generation:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Afzal, Mohammad ; Asia, A. ; Chauhan, Avriti... - p. 1138-1141 , 2019

Link: https://doi.org/10.1109/..

11

VeriAbs: Verification by Abstraction and Test Generation: (..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Darke, Priyanka ; Prabhu, Sumanth ; Chimdyalwar, Bharti... - p. 457-462 , 2018

Link: https://doi.org/10.1007/..

12

Statically relating program properties for efficient verifi..:

, In: Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems,

Chimdyalwar, Bharti ; Darke, Priyanka - p. 99-103 , 2018

Link: https://dl.acm.org/doi/1..

13

Statically relating program properties for efficient verifi..:

Chimdyalwar, Bharti ; Darke, Priyanka
ACM SIGPLAN Notices. 53 (2018) 6 - p. 99-103 , 2018

Link: https://doi.org/10.1145/..

14

Over-approximating loops to prove properties using bounded ..:

, In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition,

Darke, Priyanka ; Chimdyalwar, Bharti ; Venkatesh, R... - p. 1407-1412 , 2015

Link: https://dl.acm.org/doi/1..

15

Precise range analysis on large industry code:

, In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering,

Kumar, Shrawan ; Chimdyalwar, Bharti ; Shrotri, Ulka - p. 675-678 , 2013

Link: https://dl.acm.org/doi/1..