{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:36:26Z","timestamp":1781238986840,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642391750","type":"print"},{"value":"9783642391767","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39176-7_7","type":"book-chapter","created":{"date-parts":[[2013,5,30]],"date-time":"2013-05-30T08:58:44Z","timestamp":1369904324000},"page":"99-116","source":"Crossref","is-referenced-by-count":37,"title":["Regression Verification Using Impact Summaries"],"prefix":"10.1007","author":[{"given":"John","family":"Backes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suzette","family":"Person","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Neha","family":"Rungta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oksana","family":"Tkachuk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Backes, J., Person, S., Rungta, N., Tkachuk, O.: Regression verification using impact summaries (2013), Extended version available online \n                  \n                    http:\/\/ti.arc.nasa.gov\/profile\/nrungta\/pubs\/","DOI":"10.1007\/978-3-642-39176-7_7"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Beyer, D., Cimatti, A., Griggio, A., Keremoglu, M., Sebastiani, R.: Software model checking via large-block encoding. In: FMCAD, pp. 25\u201332 (November 2009)","DOI":"10.1109\/FMCAD.2009.5351147"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Boehme, M., Oliveira, B.C.d.S., Roychoudhury, A.: Partition-based regression verification. In: ICSE (2013)","DOI":"10.1109\/ICSE.2013.6606576"},{"key":"7_CR4","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209\u2013224 (2008)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Chockler, H., Denaro, G., Ling, M., Fedyukovich, G., Hyvrinen, A.E.J., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O., Sharygina, N., Tautschnig, M.: Pincette \u2013 validating changes and upgrades in networked software. In: CSMR (2013)","DOI":"10.1109\/CSMR.2013.72"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-73368-3_52","volume-title":"Computer Aided Verification","author":"V. Ganesh","year":"2007","unstructured":"Ganesh, V., Dill, D.L.: A decision procedure for bit-vectors and arrays. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 519\u2013531. Springer, Heidelberg (2007)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Godlin, B., Strichman, O.: Regression verification. In: DAC (2009)","DOI":"10.1145\/1629911.1630034"},{"key":"7_CR9","unstructured":"Kroening, D., Strichman, O.: Decision Procedures: An Algorithmic Point of View. Springer Publishing Company, Incorporated (2008)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/978-3-642-31424-7_54","volume-title":"Computer Aided Verification","author":"S.K. Lahiri","year":"2012","unstructured":"Lahiri, S.K., Hawblitzel, C., Kawaguchi, M., Reb\u00ealo, H.: SYMDIFF: A language-agnostic semantic diff tool for imperative programs. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol.\u00a07358, pp. 712\u2013717. Springer, Heidelberg (2012)"},{"key":"7_CR11","unstructured":"Lattner, C., Adve, V.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: CGO (2004)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Person, S., Dwyer, M.B., Elbaum, S., P\u01ces\u01cereanu, C.S.: Differential symbolic execution. In: FSE, pp. 226\u2013237 (2008)","DOI":"10.1145\/1453101.1453131"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Person, S., Yang, G., Rungta, N., Khurshid, S.: Directed incremental symbolic execution. In: PLDI, pp. 504\u2013515 (2011)","DOI":"10.1145\/1993316.1993558"},{"key":"7_CR14","unstructured":"Raghavan, S., Rohana, R., Leon, D., Podgurski, A., Augustine, V.: Dex: a semantic-graph differencing tool for studying changes in large code bases. In: ICSM, pp. 188\u2013197 (2004)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1007\/978-3-642-22110-1_55","volume-title":"Computer Aided Verification","author":"D.A. Ramos","year":"2011","unstructured":"Ramos, D.A., Engler, D.R.: Practical, low-effort equivalence verification of real code. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 669\u2013685. Springer, Heidelberg (2011)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Rothermel, G., Harrold, M.J.: A safe, efficient regression test selection technique. ACM TOSEM, 173\u2013210 (1997)","DOI":"10.1145\/248233.248262"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Rungta, N., Person, S., Branchaud, J.: A change impact analysis to characterize evolving program behaviors. In: ICSM (2012)","DOI":"10.1109\/ICSM.2012.6405261"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Sery, O., Fedyukovich, G., Sharygina, N.: Incremental upgrade checking by means of interpolation-based function summaries. In: FMCAD, UK (2012)","DOI":"10.1007\/978-3-642-34188-5_15"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-540-69149-5_54","volume-title":"Verified Software: Theories, Tools, Experiments","author":"O. Strichman","year":"2008","unstructured":"Strichman, O., Godlin, B.: Regression Verification - A Practical Way to Verify Programs. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol.\u00a04171, pp. 496\u2013501. Springer, Heidelberg (2008)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Visser, W., Geldenhuys, J., Dwyer, M.B.: Green: reducing, reusing and recycling constraints in program analysis. In: SIGSOFT FSE, p. 58 (2012)","DOI":"10.1145\/2393596.2393665"},{"issue":"2","key":"7_CR21","first-page":"203","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model checking programs. ASE\u00a010(2), 203\u2013232 (2003)","journal-title":"ASE"},{"key":"7_CR22","unstructured":"Yang, G., Dwyer, M.B., Rothermel, G.: Regression model checking. In: ICSM, pp. 115\u2013124 (2009)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39176-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:34:56Z","timestamp":1557750896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39176-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642391750","9783642391767"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39176-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}