{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:36:08Z","timestamp":1761676568338,"version":"3.28.0"},"reference-count":60,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115696","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T17:03:57Z","timestamp":1511456637000},"page":"849-860","source":"Crossref","is-referenced-by-count":3,"title":["Systematic reduction of GUI test sequences"],"prefix":"10.1109","author":[{"given":"Lin","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zijiang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"1","article-title":"Testing Android apps through symbolic execution","volume":"37","author":"nariman","year":"2012","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884853"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_44"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642998"},{"key":"ref31","first-page":"127","article-title":"CONTESSA: Concurrency testing augmented with symbolic analysis","author":"sudipta","year":"2010","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_31"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2003.1287256"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.364"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100131"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092733"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336782"},{"journal-title":"jNotepad","year":"0","key":"ref28"},{"key":"ref27","first-page":"67","article-title":"Automated testing with targeted event sequence generation","author":"casper","year":"2013","journal-title":"International Symposium on Software Testing and Analysis"},{"journal-title":"JPG","year":"0","key":"ref29"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.25"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606553"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786841"},{"journal-title":"GUITAR","year":"0","key":"ref21"},{"journal-title":"Hashvcalc","year":"0","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287646"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594330"},{"key":"ref25","first-page":"35","article-title":"Interprocedural slicing using dependence graphs","author":"susan","year":"1988","journal-title":"ACM SIGPLAN conference on Programming Language design and Implementation"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_29"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737956"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.33"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.68"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.11.009"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_22"},{"key":"ref54","first-page":"250","article-title":"A grey-box approach for automated gui-model generation of mobile applications","author":"wei","year":"2013","journal-title":"International Conference on Fundamental Approaches to Software Engineering"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.27"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2000.885865"},{"journal-title":"CE","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970294"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s10515-013-0128-9","article-title":"GUI-TAR: an innovative tool for automated testing of GUI-driven software","volume":"21","author":"bao","year":"2014","journal-title":"Automated Software Engineering"},{"journal-title":"Cobertura","year":"0","key":"ref12"},{"journal-title":"Crosswords","year":"0","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483781"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100134"},{"journal-title":"Gazoo","year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60761-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1035"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985871"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610391"},{"journal-title":"Barad A GUI testing framework based on symbolic execution","year":"0","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.18"},{"journal-title":"Buddi","year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989456"},{"key":"ref49","first-page":"156","article-title":"A stubborn attack on state explosion","author":"valmari","year":"1990","journal-title":"Workshop on Computer-Aided Verification"},{"journal-title":"Calc","year":"0","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950292"},{"journal-title":"Squish","year":"0","key":"ref45"},{"key":"ref48","article-title":"Soot-a Java bytecode optimization framework","author":"vall\u00e9e-rai","year":"1999","journal-title":"Conference of the Centre for Advanced Studies on Collaborative research"},{"journal-title":"Terpspreadsheet","year":"0","key":"ref47"},{"journal-title":"Regextester","year":"0","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56922-7_34"},{"journal-title":"SOOT","year":"0","key":"ref44"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1997.614080"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2017,10,30]]},"location":"Urbana, IL","end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115696.pdf?arnumber=8115696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T14:31:27Z","timestamp":1570372287000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115696\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115696","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}