{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:29:54Z","timestamp":1769747394583,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T00:00:00Z","timestamp":1531353600000},"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":[[2018,7,12]]},"DOI":"10.1145\/3213846.3213861","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"266-275","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Search-based detection of deviation failures in the migration of legacy spreadsheet applications"],"prefix":"10.1145","author":[{"given":"M. Moein","family":"Almasi","sequence":"first","affiliation":[{"name":"University of Manitoba, Canada"}]},{"given":"Hadi","family":"Hemmati","sequence":"additional","affiliation":[{"name":"University of Calgary, Canada"}]},{"given":"Gordon","family":"Fraser","sequence":"additional","affiliation":[{"name":"University of Passau, Germany"}]},{"given":"Phil","family":"McMinn","sequence":"additional","affiliation":[{"name":"University of Sheffield, UK"}]},{"given":"Janis","family":"Benefelds","sequence":"additional","affiliation":[{"name":"SEB Life and Pensions Holding, Latvia"}]}],"member":"320","published-online":{"date-parts":[[2018,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2017.27"},{"key":"e_1_3_2_1_2_1","unstructured":"Earl T Barr Mark Harman Phil McMinn Muzammil Shahbaz and Shin Yoo. 2015.  Earl T Barr Mark Harman Phil McMinn Muzammil Shahbaz and Shin Yoo. 2015."},{"key":"e_1_3_2_1_3_1","volume-title":"A survey","author":"The","year":"2015","unstructured":"The oracle problem in software testing : A survey . IEEE Transactions on Software Engineering 41, 5 ( 2015 ), 507\u2013525. The oracle problem in software testing: A survey. IEEE Transactions on Software Engineering 41, 5 (2015), 507\u2013525."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287707"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_7_1","unstructured":"Gordon Fraser and Andrea Arcuri. 2013.  Gordon Fraser and Andrea Arcuri. 2013."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_9_1","volume-title":"International Symposium on Software Reliability Engineering (ISSRE","author":"Galeotti Juan Pablo","year":"2013","unstructured":"Juan Pablo Galeotti , Gordon Fraser , and Andrea Arcuri . 2013 . Improving searchbased test suite generation with dynamic symbolic execution . In International Symposium on Software Reliability Engineering (ISSRE 2013). 360\u2013369. Juan Pablo Galeotti, Gordon Fraser, and Andrea Arcuri. 2013. Improving searchbased test suite generation with dynamic symbolic execution. In International Symposium on Software Reliability Engineering (ISSRE 2013). 360\u2013369."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628049"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"e_1_3_2_1_12_1","volume-title":"Genetic and Evolutionary Computation Conference (GECCO","author":"Harman Mark","year":"2002","unstructured":"Mark Harman , Lin Hu , Robert Hierons , Andr\u00e9 Baresel , and Harmen Sthamer . 2002 . Improving evolutionary testing by flag removal . In Genetic and Evolutionary Computation Conference (GECCO 2002). 1359\u20131366. Mark Harman, Lin Hu, Robert Hierons, Andr\u00e9 Baresel, and Harmen Sthamer. 2002. Improving evolutionary testing by flag removal. In Genetic and Evolutionary Computation Conference (GECCO 2002). 1359\u20131366."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265732"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102580"},{"key":"e_1_3_2_1_15_1","unstructured":"Investopedia. 2017. Pension Pillars. (2017). http:\/\/www.investopedia.com\/terms\/ p\/pensionpillar.asp  Investopedia. 2017. Pension Pillars. (2017). http:\/\/www.investopedia.com\/terms\/ p\/pensionpillar.asp"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.64"},{"key":"e_1_3_2_1_17_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman William M","year":"1998","unstructured":"William M McKeeman . 1998 . Differential testing for software . Digital Technical Journal 10 , 1 (1998), 100 \u2013 107 . William M McKeeman. 1998. Differential testing for software. Digital Technical Journal 10, 1 (1998), 100\u2013107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_19_1","unstructured":"Phil McMinn. 2009.  Phil McMinn. 2009."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570127"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.100"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_23_1","unstructured":"Carlos Pacheco Shuvendu K Lahiri Michael D Ernst and Thomas Ball. 2007.  Carlos Pacheco Shuvendu K Lahiri Michael D Ernst and Thomas Ball. 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_25_1","unstructured":"Matthew Patrick Andrew P Craig Nik J Cunniffe Matthew Parry and Christopher A Gilligan. 2016.  Matthew Patrick Andrew P Craig Nik J Cunniffe Matthew Parry and Christopher A Gilligan. 2016."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931063"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884634"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.60"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2007.15"},{"key":"e_1_3_2_1_30_1","unstructured":"Tao Xie Nikolai Tillmann Jonathan de Halleux and Wolfram Schulte. 2009.  Tao Xie Nikolai Tillmann Jonathan de Halleux and Wolfram Schulte. 2009."}],"event":{"name":"ISSTA '18: International Symposium on Software Testing and Analysis","location":"Amsterdam Netherlands","acronym":"ISSTA '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3213861","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3213846.3213861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:42Z","timestamp":1750212462000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3213861"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,12]]},"references-count":30,"alternative-id":["10.1145\/3213846.3213861","10.1145\/3213846"],"URL":"https:\/\/doi.org\/10.1145\/3213846.3213861","relation":{},"subject":[],"published":{"date-parts":[[2018,7,12]]},"assertion":[{"value":"2018-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}