{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:12:02Z","timestamp":1759936322204,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1109\/issre52982.2021.00062","type":"proceedings-article","created":{"date-parts":[[2022,2,12]],"date-time":"2022-02-12T01:01:25Z","timestamp":1644627685000},"page":"546-556","source":"Crossref","is-referenced-by-count":6,"title":["Fast Change-Based Alarm Reporting for Evolving Software Systems"],"prefix":"10.1109","author":[{"given":"Anushri","family":"Jana","sequence":"first","affiliation":[{"name":"TCS Research, TATA Consultancy Services,Pune,India"}]},{"given":"Ankita","family":"Khadsare","sequence":"additional","affiliation":[{"name":"TCS Research, TATA Consultancy Services,Pune,India"}]},{"given":"Bharti","family":"Chimdyalwar","sequence":"additional","affiliation":[{"name":"TCS Research, TATA Consultancy Services,Pune,India"}]},{"given":"Shrawan","family":"Kumar","sequence":"additional","affiliation":[{"name":"TCS Research, TATA Consultancy Services,Pune,India"}]},{"given":"Vaidehi","family":"Ghime","sequence":"additional","affiliation":[{"name":"TCS Research, TATA Consultancy Services,Pune,India"}]},{"given":"R.","family":"Venkatesh","sequence":"additional","affiliation":[{"name":"TCS Research, TATA Consultancy Services,Pune,India"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336771"},{"key":"ref38","first-page":"115","article-title":"Regression model checking","author":"yang","year":"0","journal-title":"2009 IEEE International Conference on Software Maintenance"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41103-9_5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3188720"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/248233.248262"},{"key":"ref30","first-page":"364","article-title":"Incremental verification using trace abstraction","author":"rothenberg","year":"0","journal-title":"The 4th International Symposium on Static Analysis"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2019.00030"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393665"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58179-0_67"},{"key":"ref34","first-page":"114","article-title":"Incremental upgrade checking by means of interpolation-based function summaries","author":"sery","year":"2012","journal-title":"2012 Formal Methods in Computer-Aided Design (FMCAD) FMCAD"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/1594834.1480917","article-title":"Compositional shape analysis by means of bi-abduction","volume":"44","author":"calcagno","year":"2009","journal-title":"ACM SIGPLAN Notices"},{"journal-title":"SonarQube in Action","year":"2013","author":"campbell","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115630"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227172"},{"journal-title":"Comparing and Merging Files","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092719"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2019.00031"},{"key":"ref18","first-page":"282","article-title":"Towards modularly comparing programs using automated theorem provers","author":"hawblitzel","year":"0","journal-title":"International Conference on Automated Deduction"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/978-3-540-39910-0_16","article-title":"Extreme model checking","author":"henzinger","year":"2003","journal-title":"Verification Theory and Practice"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209109"},{"key":"ref4","first-page":"133","article-title":"Difference verification with conditions","author":"beyer","year":"0","journal-title":"1st International Conference on Software Engineering and Formal Methods"},{"key":"ref27","first-page":"554","article-title":"Scalable and incremen-tal software bug detection","author":"mcpeak","year":"0","journal-title":"Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231435"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993558"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491429"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236500"},{"key":"ref7","first-page":"3","author":"bodden","year":"0","journal-title":"Proceedings of the acm sigplan international workshop on state of the art in java program analysis (soap)"},{"key":"ref2","first-page":"99","article-title":"Regression verification using impact summaries","author":"backes","year":"0","journal-title":"10th Int SPIN Workshop on Model Checking Software"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.02.018"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568243"},{"key":"ref20","first-page":"35","article-title":"Interprocedural slicing using depen-dence graphs","author":"horwitz","year":"0","journal-title":"Proceedings of the ACM SIGPLAN 1988 conference on Programming Language Design and Implementation"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491452"},{"journal-title":"Data Flow Analysis Theory and Practice","year":"2009","author":"khedker","key":"ref21"},{"journal-title":"A Review of Software Change Impact Analysis","year":"2011","author":"lehnert","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882405"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594326"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3293606"}],"event":{"name":"2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2021,10,25]]},"location":"Wuhan, China","end":{"date-parts":[[2021,10,28]]}},"container-title":["2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9700160\/9700163\/09700349.pdf?arnumber=9700349","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,7]],"date-time":"2022-12-07T01:47:47Z","timestamp":1670377667000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9700349\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/issre52982.2021.00062","relation":{},"subject":[],"published":{"date-parts":[[2021,10]]}}}