{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:56:24Z","timestamp":1760043384273,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/icsm.2009.5306334","type":"proceedings-article","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T13:43:34Z","timestamp":1257428614000},"page":"115-124","source":"Crossref","is-referenced-by-count":27,"title":["Regression model checking"],"prefix":"10.1109","author":[{"family":"Guowei Yang","sequence":"first","affiliation":[]},{"given":"M.B.","family":"Dwyer","sequence":"additional","affiliation":[]},{"given":"G.","family":"Rothermel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2005.39"},{"key":"22","article-title":"using model checking to find serious file system errors","author":"yang","year":"2004","journal-title":"Proc Symp Op Sys Des Impl"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/32.536955"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/248233.248262"},{"year":"0","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/274946.274960"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1989.65194"},{"key":"14","article-title":"model checking large network protocol implementations","author":"musuvathi","year":"2004","journal-title":"Proc Symp Net Sys Des Impl"},{"key":"11","article-title":"sofya: a flexible framework for development of dynamic program analyses for java software","author":"kinneer","year":"2006","journal-title":"Technical Report TR-UNL-CSE-2006- 0006"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368128"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"3","first-page":"73","article-title":"evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs","author":"dwyer","year":"2006","journal-title":"Proc Int'l Conf Tools Algs Constr Anal Sys"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69149-5_54"},{"year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0154-9"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0130-9"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2004.3.6.a4"},{"key":"5","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/503271.503231","article-title":"modular verification of collaboration-based software designs","volume":"26","author":"fisler","year":"2001","journal-title":"Software Eng Notes"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181787"},{"key":"9","first-page":"147","article-title":"efficient regression verification","author":"hardin","year":"1996","journal-title":"Proc WODES"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177725"}],"event":{"name":"2009 IEEE International Conference on Software Maintenance (ICSM 2009)","start":{"date-parts":[[2009,9,20]]},"location":"Edmonton, AB","end":{"date-parts":[[2009,9,26]]}},"container-title":["2009 IEEE International Conference on Software Maintenance"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5290639\/5306271\/05306334.pdf?arnumber=5306334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T21:28:09Z","timestamp":1497821289000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5306334\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icsm.2009.5306334","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}