{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T21:13:10Z","timestamp":1783804390910,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,1]],"date-time":"2016-11-01T00:00:00Z","timestamp":1477958400000},"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":[[2016,11]]},"DOI":"10.1145\/2950290.2950342","type":"proceedings-article","created":{"date-parts":[[2016,11,1]],"date-time":"2016-11-01T13:46:03Z","timestamp":1478007963000},"page":"422-434","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["Minimizing GUI event traces"],"prefix":"10.1145","author":[{"given":"Lazaro","family":"Clapp","sequence":"first","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Osbert","family":"Bastani","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saswat","family":"Anand","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Aiken","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351717"},{"issue":"5","key":"e_1_3_2_1_2_1","first-page":"53","volume":"32","author":"Amalfitano D.","year":"2015","unstructured":"D. Amalfitano , A. R. Fasolino , P. Tramontana , B. D. Ta , and A. M. Memon . Mobiguitar: Automated modelbased testing of mobile apps. IEEE Software , 32 ( 5 ): 53 \u2013 59 , 2015 . D. Amalfitano, A. R. Fasolino, P. Tramontana, B. D. Ta, and A. M. Memon. Mobiguitar: Automated modelbased testing of mobile apps. IEEE Software, 32(5):53\u2013 59, 2015.","journal-title":"Mobiguitar: Automated modelbased testing of mobile apps. IEEE Software"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509549"},{"key":"e_1_3_2_1_5_1","first-page":"1036","volume-title":"Proceedings of the 23rd USENIX Security Symposium","author":"Bhoraskar R.","year":"2014","unstructured":"R. Bhoraskar , S. Han , J. Jeon , T. Azim , S. Chen , J. Jung , S. Nath , R. Wang , and D. Wetherall . Brahmastra: Driving apps to test the security of third-party components . In Proceedings of the 23rd USENIX Security Symposium , San Diego, CA, USA , August 20-22, 2014 ., pages 1021\u2013 1036 , 2014. R. Bhoraskar, S. Han, J. Jeon, T. Azim, S. Chen, J. Jung, S. Nath, R. Wang, and D. Wetherall. Brahmastra: Driving apps to test the security of third-party components. In Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., pages 1021\u20131036, 2014."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001447"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629338"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566211"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509552"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.89"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486799"},{"key":"e_1_3_2_1_12_1","unstructured":"Google. Espresso - https:\/\/developer.android.com\/training\/testing\/uitesting\/espresso-testing.html.  Google. Espresso - https:\/\/developer.android.com\/training\/testing\/uitesting\/espresso-testing.html."},{"key":"e_1_3_2_1_13_1","unstructured":"Google. UI\/Application exerciser monkey - https:\/\/developer.android.com\/tools\/help\/monkey.html.  Google. UI\/Application exerciser monkey - https:\/\/developer.android.com\/tools\/help\/monkey.html."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2015.7095807"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594368.2594390"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814320"},{"key":"e_1_3_2_1_17_1","first-page":"237","volume":"4","author":"Kaelbling L. P.","year":"1996","unstructured":"L. P. Kaelbling , M. L. Littman , and A. W. Moore . Reinforcement learning: A survey. J. Artif. Intell. Res. (JAIR) , 4 : 237 \u2013 285 , 1996 . L. P. Kaelbling, M. L. Littman, and A. W. Moore. Reinforcement learning: A survey. J. Artif. Intell. Res. (JAIR), 4:237\u2013285, 1996.","journal-title":"Reinforcement learning: A survey. J. Artif. Intell. Res. (JAIR)"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2464459"},{"key":"e_1_3_2_1_19_1","first-page":"70","volume-title":"Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014","author":"Liu B.","year":"2014","unstructured":"B. Liu , S. Nath , R. Govindan , and J. Liu . DECAF: detecting and characterizing ad fraud in mobile apps . In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014 , Seattle, WA, USA , April 2-4, 2014 , pages 57\u2013 70 , 2014. B. Liu, S. Nath, R. Govindan, and J. Liu. DECAF: detecting and characterizing ad fraud in mobile apps. In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014, Seattle, WA, USA, April 2-4, 2014, pages 57\u201370, 2014."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635896"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2464452"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2435349.2435379"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594368.2594377"},{"key":"e_1_3_2_1_26_1","unstructured":"Robotium. Robotium - https:\/\/github.com\/robotiumtech\/robotium.  Robotium. Robotium - https:\/\/github.com\/robotiumtech\/robotium."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2632168.2632169"},{"key":"e_1_3_2_1_28_1","first-page":"309","volume-title":"13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16)","author":"Scott C.","year":"2016","unstructured":"C. Scott , A. Panda , V. Brajkovic , G. Necula , A. Krishnamurthy , and S. Shenker . Minimizing faulty executions of distributed systems . In 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16) , pages 291\u2013 309 , Santa Clara, CA , 2016 . USENIX Association. C. Scott, A. Panda, V. Brajkovic, G. Necula, A. Krishnamurthy, and S. Shenker. Minimizing faulty executions of distributed systems. In 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16), pages 291\u2013309, Santa Clara, CA, 2016. USENIX Association."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626304"},{"key":"e_1_3_2_1_30_1","unstructured":"Selendroid. Selendroid - http:\/\/selendroid.io\/.  Selendroid. Selendroid - http:\/\/selendroid.io\/."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/551283"},{"key":"e_1_3_2_1_32_1","volume-title":"Individual comparisons by ranking methods. Biometrics bulletin, 1(6):80\u201383","author":"Wilcoxon F.","year":"1945","unstructured":"F. Wilcoxon . Individual comparisons by ranking methods. Biometrics bulletin, 1(6):80\u201383 , 1945 . F. Wilcoxon. Individual comparisons by ranking methods. Biometrics bulletin, 1(6):80\u201383, 1945."},{"key":"e_1_3_2_1_33_1","unstructured":"Xamarin. Calabash - http:\/\/calaba.sh\/.  Xamarin. Calabash - http:\/\/calaba.sh\/."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_19"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2536853.2536881"},{"key":"e_1_3_2_1_36_1","first-page":"267","volume-title":"7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"Zeller A.","year":"1999","unstructured":"A. Zeller . Yesterday , my program worked. today, it does not. why? In Software Engineering - ESEC\/FSE\u201999 , 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering , Toulouse, France , September 1999 , pages 253\u2013 267 , 1999. A. Zeller. Yesterday, my program worked. today, it does not. why? In Software Engineering - ESEC\/FSE\u201999, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, pages 253\u2013267, 1999."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587053"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"FSE'16: 24nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering","location":"Seattle WA USA","acronym":"FSE'16","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2950290.2950342","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2950290.2950342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:49:56Z","timestamp":1750218596000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2950290.2950342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":38,"alternative-id":["10.1145\/2950290.2950342","10.1145\/2950290"],"URL":"https:\/\/doi.org\/10.1145\/2950290.2950342","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]},"assertion":[{"value":"2016-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}