Identifying Relevant Changes for Incremental Verification of Evolving Software Systems
-
Published:2022-03
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
-
language:
-
Short-container-title:
Author:
Chimdyalwar Bharti1,
Jana Anushri1,
Kumar Shrawan1,
Khadsare Ankita1,
Ghime Vaidehi1
Reference23 articles.
1. Interprocedural slicing using dependence graphs
2. Fast change-based alarm reporting for evolving software systems;ankita;2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE) IEEE,2021
3. Value Slice: A New Slicing Concept for Scalable Property Checking
4. Differential assertion checking