{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:24:30Z","timestamp":1763663070972,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/icsm.2012.6405261","type":"proceedings-article","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T20:28:25Z","timestamp":1358454505000},"page":"109-118","source":"Crossref","is-referenced-by-count":27,"title":["A change impact analysis to characterize evolving program behaviors"],"prefix":"10.1109","author":[{"given":"Neha","family":"Rungta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suzette","family":"Person","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joshua","family":"Branchaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Comparing and Merging Files","year":"2002","key":"19"},{"key":"17","first-page":"115","article-title":"Regression model checking","author":"yang","year":"2009","journal-title":"ICSM"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-0002-0"},{"key":"15","first-page":"122","article-title":"Model-based safety analysis of simulink models using SCADE design verifier","volume":"3688","author":"joshi","year":"2005","journal-title":"SAFE-COMP Ser LNCS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"journal-title":"Software-artifact Infrastructure Repository Home","year":"2008","key":"13"},{"journal-title":"SAE-ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment","year":"1996","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595704"},{"journal-title":"Main-page Choco","year":"2010","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70731"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2004.1357803"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201210"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062534"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2003.1251064"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940089"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001422"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025152"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993558"},{"journal-title":"Software Change Impact Analysis","year":"1996","author":"bohner","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1993.366933"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985898"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553643"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/800191.805647"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"8","first-page":"203","article-title":"Model checking programs","volume":"10","author":"visser","year":"2003","journal-title":"ASE"}],"event":{"name":"2012 IEEE International Conference on Software Maintenance (ICSM)","start":{"date-parts":[[2012,9,23]]},"location":"Trento, Italy","end":{"date-parts":[[2012,9,28]]}},"container-title":["2012 28th IEEE International Conference on Software Maintenance (ICSM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6384336\/6404866\/06405261.pdf?arnumber=6405261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T20:21:21Z","timestamp":1490214081000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6405261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icsm.2012.6405261","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}