{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T10:15:16Z","timestamp":1777371316700,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T00:00:00Z","timestamp":1405900800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,21]]},"DOI":"10.1145\/2610384.2610387","type":"proceedings-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T12:10:42Z","timestamp":1405080642000},"page":"37-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Verification-aided regression testing"],"prefix":"10.1145","author":[{"given":"Fabrizio","family":"Pastore","sequence":"first","affiliation":[{"name":"University of Milano-Bicocca, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Mariani","sequence":"additional","affiliation":[{"name":"University of Milano-Bicocca, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antti E. J.","family":"Hyv\u00e4rinen","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigory","family":"Fedyukovich","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natasha","family":"Sharygina","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Sehestedt","sequence":"additional","affiliation":[{"name":"ABB Research, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Muhammad","sequence":"additional","affiliation":[{"name":"VTT Technical Research, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Coreutils. http:\/\/www.gnu.org\/software\/coreutils\/.  Coreutils. http:\/\/www.gnu.org\/software\/coreutils\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Diff utils. http:\/\/www.gnu.org\/software\/diffutils\/.  Diff utils. http:\/\/www.gnu.org\/software\/diffutils\/."},{"key":"e_1_3_2_1_3_1","unstructured":"GDB. http:\/\/sources.redhat.com\/gdb\/.  GDB. http:\/\/sources.redhat.com\/gdb\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Grep. http:\/\/www.gnu.org\/software\/grep\/.  Grep. http:\/\/www.gnu.org\/software\/grep\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Software-artifact infrastructure repository. http:\/\/sir.unl.edu.  Software-artifact infrastructure repository. http:\/\/sir.unl.edu."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28717-6_7"},{"key":"e_1_3_2_1_7_1","volume-title":"Software Change Impact Analysis","author":"Arnold R.","year":"1996","unstructured":"R. Arnold and S. Bohner . Software Change Impact Analysis . Wiley-IEEE Computer Society Press , 1996 . R. Arnold and S. Bohner. Software Change Impact Analysis. Wiley-IEEE Computer Society Press, 1996."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999437"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0044-z"},{"key":"e_1_3_2_1_10_1","first-page":"190","volume-title":"CPAchecker: A Tool for Configurable Software Verification. In proceedings of the International Conference on Computer Aided Verification, LNCS","author":"Beyer D.","year":"2011","unstructured":"D. Beyer and M. E. Keremoglu . CPAchecker: A Tool for Configurable Software Verification. In proceedings of the International Conference on Computer Aided Verification, LNCS , pages 184\u2013 190 , 2011 . D. Beyer and M. E. Keremoglu. CPAchecker: A Tool for Configurable Software Verification. In proceedings of the International Conference on Computer Aided Verification, LNCS, pages 184\u2013190, 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309942"},{"key":"e_1_3_2_1_12_1","first-page":"207","volume-title":"proceedings of the International Conference Tools and Algorithms for Construction and Analysis of Systems","volume":"1579","author":"Biere A.","unstructured":"A. Biere , A. Cimatti , E. M. Clarke , and Y. Zhu . Symbolic model checking without BDDs . In proceedings of the International Conference Tools and Algorithms for Construction and Analysis of Systems , volume 1579 of LNCS, pages 193\u2013 207 . Springer, 1999. A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In proceedings of the International Conference Tools and Algorithms for Construction and Analysis of Systems, volume 1579 of LNCS, pages 193\u2013207. Springer, 1999."},{"key":"e_1_3_2_1_13_1","first-page":"87","volume-title":"proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretatio","volume":"6538","author":"Bradley A. R.","unstructured":"A. R. Bradley . SAT-based model checking without unrolling . In proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretatio , volume 6538 of LNCS, pages 70\u2013 87 . Springer, 2011. A. R. Bradley. SAT-based model checking without unrolling. In proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretatio, volume 6538 of LNCS, pages 70\u201387. Springer, 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040026.56959.91"},{"key":"e_1_3_2_1_15_1","volume-title":"proceedings of the International Conference on Software Engineering","author":"Chen Y.","year":"1994","unstructured":"Y. Chen , D. Rosemblum , and K. Vo . TestTube: A system for selective regression testing . In proceedings of the International Conference on Software Engineering , 1994 . Y. Chen, D. Rosemblum, and K. Vo. TestTube: A system for selective regression testing. In proceedings of the International Conference on Software Engineering, 1994."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/648063.747438"},{"key":"e_1_3_2_1_17_1","volume-title":"proceedings of the International Conference Tools and Algorithms for Construction and Analysis of Systems.","author":"Clarke E.","unstructured":"E. Clarke , D. Kroening , and F. Lerda . A tool for checking ANSI-C programs . In proceedings of the International Conference Tools and Algorithms for Construction and Analysis of Systems. E. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. In proceedings of the International Conference Tools and Algorithms for Construction and Analysis of Systems."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_40"},{"key":"e_1_3_2_1_19_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . MIT Press , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2002951.2002955"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348254"},{"key":"e_1_3_2_1_22_1","volume-title":"proceedings of the International Conference on Automated Software Engineering","author":"Daniel B.","year":"2009","unstructured":"B. Daniel , V. Jagannath , D. Dig , and D. Marinov . On test repair using symbolic execution . In proceedings of the International Conference on Automated Software Engineering , 2009 . B. Daniel, V. Jagannath, D. Dig, and D. Marinov. On test repair using symbolic execution. In proceedings of the International Conference on Automated Software Engineering, 2009."},{"key":"e_1_3_2_1_23_1","first-page":"518","volume-title":"proceedings of the International Conference on Theory and Applications of Satisfiability Testing","volume":"2919","author":"E\u00e9n N.","unstructured":"N. E\u00e9n and N. S\u00f6rensson . An extensible SAT-solver . In proceedings of the International Conference on Theory and Applications of Satisfiability Testing , volume 2919 of LNCS, pages 502\u2013 518 . Springer, 2004. N. E\u00e9n and N. S\u00f6rensson. An extensible SAT-solver. In proceedings of the International Conference on Theory and Applications of Satisfiability Testing, volume 2919 of LNCS, pages 502\u2013518. Springer, 2004."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988497"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_21"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/647540.730008"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393598"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1472"},{"key":"e_1_3_2_1_30_1","unstructured":"S. V. Group. The cbmc homepage. http:\/\/www.cprover.org\/cbmc\/.  S. V. Group. The cbmc homepage. http:\/\/www.cprover.org\/cbmc\/."},{"key":"e_1_3_2_1_31_1","volume-title":"proceedings on the International Workshop on Event Systems","author":"Hardin R. H.","year":"1996","unstructured":"R. H. Hardin , R. P. Kurshan , K. L. McMillan , J. A. Reeds , and N. J. A. Sloane . E\ufb03cient regression verification . In proceedings on the International Workshop on Event Systems , 1996 . R. H. Hardin, R. P. Kurshan, K. L. McMillan, J. A. Reeds, and N. J. A. Sloane. E\ufb03cient regression verification. In proceedings on the International Workshop on Event Systems, 1996."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.64"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103662"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2958031.2958060"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491452"},{"key":"e_1_3_2_1_36_1","volume-title":"proceedings of the International Conference on Software Maintenance","author":"Leung H.","year":"1989","unstructured":"H. Leung and L. White . Insights into regression testing . In proceedings of the International Conference on Software Maintenance , 1989 . H. Leung and L. White. Insights into regression testing. In proceedings of the International Conference on Software Maintenance, 1989."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11527695_27"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.26"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.93"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_14"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.103"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337304"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00256-7"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566213"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.13"},{"key":"e_1_3_2_1_47_1","volume-title":"proceedings of the International Conference on Software Engineering - Tool Demo Track","author":"Pastore F.","year":"2013","unstructured":"F. Pastore , L. Mariani , and A. Go\ufb03 . RADAR: a tool for debugging regression problems in C\/C++ software . In proceedings of the International Conference on Software Engineering - Tool Demo Track , 2013 . F. Pastore, L. Mariani, and A. Go\ufb03. RADAR: a tool for debugging regression problems in C\/C++ software. In proceedings of the International Conference on Software Engineering - Tool Demo Track, 2013."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.9"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337332"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/248233.248262"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572282"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_17"},{"key":"e_1_3_2_1_54_1","volume-title":"proceedings of the International Conference on Formal Methods in Computer-Aided Design. IEEE","author":"Sery O.","year":"2012","unstructured":"O. Sery , G. Fedyukovich , and N. Sharygina . Incremental upgrade checking by means of interpolation-based function summaries . In proceedings of the International Conference on Formal Methods in Computer-Aided Design. IEEE , 2012 . O. Sery, G. Fedyukovich, and N. Sharygina. Incremental upgrade checking by means of interpolation-based function summaries. In proceedings of the International Conference on Formal Methods in Computer-Aided Design. IEEE, 2012."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnucmat.2004.04.004"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187674"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1245302"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146240"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.30"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287632"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10851-006-8530-6"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568319"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483772"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"event":{"name":"ISSTA '14: International Symposium on Software Testing and Analysis","location":"San Jose CA USA","acronym":"ISSTA '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2014 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2610384.2610387","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2610384.2610387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:53Z","timestamp":1750229753000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2610384.2610387"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,21]]},"references-count":64,"alternative-id":["10.1145\/2610384.2610387","10.1145\/2610384"],"URL":"https:\/\/doi.org\/10.1145\/2610384.2610387","relation":{},"subject":[],"published":{"date-parts":[[2014,7,21]]},"assertion":[{"value":"2014-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}