{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:06:18Z","timestamp":1766066778794,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,25]],"date-time":"2017-10-25T00:00:00Z","timestamp":1508889600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DARPA","award":["FA8750-14-2-0263"],"award-info":[{"award-number":["FA8750-14-2-0263"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1055066"],"award-info":[{"award-number":["CCF-1055066"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,25]]},"DOI":"10.1145\/3133850.3133853","type":"proceedings-article","created":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T15:16:02Z","timestamp":1507907762000},"page":"58-77","update-policy":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["ChimpCheck: property-based randomized test generation for interactive apps"],"prefix":"10.1145","author":[{"given":"Edmund S. L.","family":"Lam","sequence":"first","affiliation":[{"name":"University of Colorado at Boulder, USA"}]},{"given":"Peilun","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Colorado at Boulder, USA"}]},{"given":"Bor-Yuh Evan","family":"Chang","sequence":"additional","affiliation":[{"name":"University of Colorado at Boulder, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,10,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Christo\ufffder Quist Adamsen Gianluca Mezzetti and Anders M\u00f8ller. 2015. Systematic Execution of Android Test Suites in Adverse Conditions. In Software Testing and Analysis (ISSTA).  Christo\ufffder Quist Adamsen Gianluca Mezzetti and Anders M\u00f8ller. 2015. Systematic Execution of Android Test Suites in Adverse Conditions. In Software Testing and Analysis (ISSTA).","DOI":"10.1145\/2771783.2771786"},{"key":"e_1_3_2_1_2_1","volume-title":"Por\ufffdrio Tramontana, Emily Kowalczyk, and Atif M. Memon.","author":"Amal\ufffdtano Domenico","year":"2015","unstructured":"Domenico Amal\ufffdtano , Nicola Amatucci , Anna Rita Fasolino , Por\ufffdrio Tramontana, Emily Kowalczyk, and Atif M. Memon. 2015 . Exploiting the Saturation E\ufffdect in Automatic Random Testing of Android Applications. In Mobile Software Engineering and Systems (MOBILESoft) . Domenico Amal\ufffdtano, Nicola Amatucci, Anna Rita Fasolino, Por\ufffdrio Tramontana, Emily Kowalczyk, and Atif M. Memon. 2015. Exploiting the Saturation E\ufffdect in Automatic Random Testing of Android Applications. In Mobile Software Engineering and Systems (MOBILESoft)."},{"key":"e_1_3_2_1_3_1","volume-title":"Por\ufffdrio Tramontana, Salvatore De Carmine, and Atif M. Memon.","author":"Amal\ufffdtano Domenico","year":"2012","unstructured":"Domenico Amal\ufffdtano , Anna Rita Fasolino , Por\ufffdrio Tramontana, Salvatore De Carmine, and Atif M. Memon. 2012 . Using GUI ripping for automated testing of Android applications. In Automated Software Engineering (ASE) . Domenico Amal\ufffdtano, Anna Rita Fasolino, Por\ufffdrio Tramontana, Salvatore De Carmine, and Atif M. Memon. 2012. Using GUI ripping for automated testing of Android applications. In Automated Software Engineering (ASE)."},{"key":"e_1_3_2_1_4_1","volume-title":"Por\ufffdrio Tramontana, Bryan Dzung Ta, and Atif M. Memon.","author":"Amal\ufffdtano Domenico","year":"2015","unstructured":"Domenico Amal\ufffdtano , Anna Rita Fasolino , Por\ufffdrio Tramontana, Bryan Dzung Ta, and Atif M. Memon. 2015 . MobiGUITAR: Automated Model-Based Testing of Mobile Apps. IEEE Software 32, 5 (2015). Domenico Amal\ufffdtano, Anna Rita Fasolino, Por\ufffdrio Tramontana, Bryan Dzung Ta, and Atif M. Memon. 2015. MobiGUITAR: Automated Model-Based Testing of Mobile Apps. IEEE Software 32, 5 (2015)."},{"key":"e_1_3_2_1_5_1","unstructured":"Android Developers. 2016. Testing UI for a Single App. h\ufffdps:\/\/developer.android.com\/training\/testing\/ui-testing\/ espresso-testing.html . (2016).  Android Developers. 2016. Testing UI for a Single App. h\ufffdps:\/\/developer.android.com\/training\/testing\/ui-testing\/ espresso-testing.html . (2016)."},{"key":"e_1_3_2_1_6_1","unstructured":"Android Studio. 2010. UI\/Application Exerciser Monkey. h\ufffdps:\/\/ developer.android.com\/guide\/components\/activities.html . (2010).  Android Studio. 2010. UI\/Application Exerciser Monkey. h\ufffdps:\/\/ developer.android.com\/guide\/components\/activities.html . (2010)."},{"key":"e_1_3_2_1_7_1","volume-title":"Pier Luca Lanzi, and Matteo Miraz","author":"Baresi Luciano","year":"2010","unstructured":"Luciano Baresi , Pier Luca Lanzi, and Matteo Miraz . 2010 . TestFul: An Evolutionary Test Approach for Java. In Software Testing, Veri\ufffdcation and Validation (ICST) . Luciano Baresi, Pier Luca Lanzi, and Matteo Miraz. 2010. TestFul: An Evolutionary Test Approach for Java. In Software Testing, Veri\ufffdcation and Validation (ICST)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Shuai Hao Bin Liu Suman Nath William G. J. Halfond and Ramesh Govindan. 2014. PUMA: programmable UI-automation for large-scale dynamic analysis of mobile apps. In Mobile Systems Applications and Services (MobiSys).  Shuai Hao Bin Liu Suman Nath William G. J. Halfond and Ramesh Govindan. 2014. PUMA: programmable UI-automation for large-scale dynamic analysis of mobile apps. In Mobile Systems Applications and Services (MobiSys).","DOI":"10.1145\/2594368.2594390"},{"key":"e_1_3_2_1_11_1","unstructured":"Yue Jia Ke Mao and Mark Harman. 2016. MaJiCKe: Automated Android Testing Solutions. h\ufffdp:\/\/www.majicke.com . (2016).  Yue Jia Ke Mao and Mark Harman. 2016. MaJiCKe: Automated Android Testing Solutions. h\ufffdp:\/\/www.majicke.com . (2016)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635896"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931054"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.364"},{"key":"e_1_3_2_1_16_1","unstructured":"Rickard Nilsson. 2015. ScalaCheck: Property-based Testing for Scala. h\ufffdp:\/\/scalacheck.org\/ . (2015).  Rickard Nilsson. 2015. ScalaCheck: Property-based Testing for Scala. h\ufffdp:\/\/scalacheck.org\/ . (2015)."},{"key":"e_1_3_2_1_17_1","volume-title":"Robotium: User scenario testing for Android. h\ufffdp: \/\/www.robotium.org .","author":"Reda Renas","year":"2009","unstructured":"Renas Reda . 2009 . Robotium: User scenario testing for Android. h\ufffdp: \/\/www.robotium.org . (2009). Renas Reda. 2009. Robotium: User scenario testing for Android. h\ufffdp: \/\/www.robotium.org . (2009)."}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Vancouver BC Canada","acronym":"SPLASH '17"},"container-title":["Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/3133850.3133853","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/3133850.3133853","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/3133850.3133853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:34Z","timestamp":1750217434000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/3133850.3133853"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,25]]},"references-count":17,"alternative-id":["10.1145\/3133850.3133853","10.1145\/3133850"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/3133850.3133853","relation":{},"subject":[],"published":{"date-parts":[[2017,10,25]]},"assertion":[{"value":"2017-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}