{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:56Z","timestamp":1750220636397,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T00:00:00Z","timestamp":1603238400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","award":["424340\/2016-0"],"award-info":[{"award-number":["424340\/2016-0"]}]},{"name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de Minas Gerais","award":["PPM00651-17"],"award-info":[{"award-number":["PPM00651-17"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,21]]},"DOI":"10.1145\/3422392.3422508","type":"proceedings-article","created":{"date-parts":[[2020,12,22]],"date-time":"2020-12-22T01:45:39Z","timestamp":1608601539000},"page":"548-553","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["PLATOOL"],"prefix":"10.1145","author":[{"given":"Euler Horta","family":"Marinho","sequence":"first","affiliation":[{"name":"Computer Science Department, Federal University of Minas Gerais, Belo Horizonte, Minas Gerais, Brasil, Computer and Systems Department, Federal University of Ouro Preto Joao Monlevade, Minas Gerais, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Figueiredo","sequence":"additional","affiliation":[{"name":"Computer Science Department, Federal University of Minas Gerais, Belo Horizonte, Minas Gerais, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,12,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.03.007"},{"key":"e_1_3_2_1_2_1","unstructured":"Agape Project. 2020. Agape Library. https:\/\/www.univ-orleans.fr\/lifo\/traclifo\/Agape\/. Access date 06\/19\/2020."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.12.017"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.55"},{"volume-title":"Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). 641--660","author":"Azim T.","key":"e_1_3_2_1_5_1","unstructured":"T. Azim and I. Neamtiu. 2013. Targeted and depth-first exploration for systematic testing of Android apps. In Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). 641--660."},{"key":"e_1_3_2_1_6_1","unstructured":"F. Belli. 2001. Finite state testing and analysis of graphical user interfaces. 34--43."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the International Colloquium on Theoretical Aspects of Computing (ICTAC), Zhiming Liu and Keijiro Araki (Eds.). Lecture Notes in Computer Science","volume":"3407","author":"Belli F.","unstructured":"F. Belli and C. J. Budnik. 2004. Minimal spanning set for coverage testing of interactive systems. In Proceedings of the International Colloquium on Theoretical Aspects of Computing (ICTAC), Zhiming Liu and Keijiro Araki (Eds.). Lecture Notes in Computer Science, Vol. 3407. Springer Berlin \/ Heidelberg, 220--234."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1122702.1122704"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2161"},{"key":"e_1_3_2_1_10_1","unstructured":"V. Bergmann. 2020. databene benerator. https:\/\/sourceforge.net\/projects\/benerator\/. Access date 06\/19\/2020."},{"volume-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE). 420--440","author":"Choudhary S. R.","key":"e_1_3_2_1_12_1","unstructured":"S. R. Choudhary, A. Gorla, and A. Orso. 2015. Automated Test Input Generation for Android: Are We There Yet?. In Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE). 420--440."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"L. Cruz R. Abreu and D. Lo. 2019. To the attention of mobile software developers: guess what test your app! Empirical Software Engineering 24 (2019) 2438--2468.","DOI":"10.1007\/s10664-019-09701-0"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.05.002"},{"volume-title":"Proceedings of the International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS). 1--10","author":"Ferreira F.","key":"e_1_3_2_1_15_1","unstructured":"F. Ferreira, J. P. Diniz, C. Silva, and E. Figueiredo. 2019. Testing Tools for Configurable Software Systems: A Review-based Empirical Study. In Proceedings of the International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS). 1--10."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.34"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.04.015"},{"volume-title":"Proceedings of the International Conference on Software Engineering (ICSE). 72--81","author":"Gomez L.","key":"e_1_3_2_1_18_1","unstructured":"L. Gomez, I. Neamtiu, T. Azim, and T. Millstein. 2013. RERAN: Timing- and Touch-Sensitive Record and Replay for Android. In Proceedings of the International Conference on Software Engineering (ICSE). 72--81."},{"key":"e_1_3_2_1_19_1","unstructured":"Google. 2020. UI Automator. https:\/\/developer.android.com\/training\/testing\/ui-automator. Access date 06\/19\/2020."},{"volume-title":"Proceedings of the ICSE Workshop on Automation of Software Test (AST). 50--56","author":"Hu C.","key":"e_1_3_2_1_20_1","unstructured":"C. Hu and I. Neamtiu. 2016. Fuzzy and cross-app replay for smartphone apps. In Proceedings of the ICSE Workshop on Automation of Software Test (AST). 50--56."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.3571582"},{"volume-title":"Proceedings of the International Workshop on Advances in Mobile App Analysis (A-MOBILE). 1--6.","author":"Kowalczyk E.","key":"e_1_3_2_1_22_1","unstructured":"E. Kowalczyk, M. B. Cohen, and A. M. Memon. 2018. Configurations in Android testing: they matter. In Proceedings of the International Workshop on Advances in Mobile App Analysis (A-MOBILE). 1--6."},{"volume-title":"Proceedings of the Joint Meeting on European Software Engineering Conference and Foundations of Software Engineering(ESEC-FSE). 224--234","author":"Machiry A.","key":"e_1_3_2_1_23_1","unstructured":"A. Machiry, R. Tahiliani, and M. Naik. 2013. Dynodroid: an input generation system for Android apps. In Proceedings of the Joint Meeting on European Software Engineering Conference and Foundations of Software Engineering(ESEC-FSE). 224--234."},{"volume-title":"Proceedings of the International Symposium on Software Testing and Analysis (ISSTA). 94--105","author":"Mao K.","key":"e_1_3_2_1_24_1","unstructured":"K. Mao, M. Harman, and Y. Jia. 2016. Sapienz: Multi-Objective Automated Testing for Android Applications. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA). 94--105."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2016.0173"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2620278"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"G. J. Myers C. Sandler and T. Badgett. 2011. The Art of Software Testing (3 ed.). John Wiley and Sons Hoboken NJ.","DOI":"10.1002\/9781119202486"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2478566.2479080"},{"key":"e_1_3_2_1_29_1","volume-title":"JUNG: The Java Universal Network\/Graph Framework. https:\/\/github.com\/jrtom\/jung. Access date 06\/19\/2020.","author":"O'Madadhain J.","year":"2020","unstructured":"J. O'Madadhain. 2020. JUNG: The Java Universal Network\/Graph Framework. https:\/\/github.com\/jrtom\/jung. Access date 06\/19\/2020."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9077-5"},{"volume-title":"Proceedings of the International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS). 68--77","author":"Riccio V.","key":"e_1_3_2_1_31_1","unstructured":"V. Riccio, D. Amalfitano, and A. R. Fasolino. 2018. Is this the lifecycle we really want? An automated black-box testing approach for Android activities. In Proceedings of the International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS). 68--77."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2018.2141024"},{"volume-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE). 27--37","author":"Song W.","key":"e_1_3_2_1_33_1","unstructured":"W. Song, X. Qian, and J. Huang. 2017. EHBDroid: beyond GUI testing for Android applications. In Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE). 27--37."},{"volume-title":"Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation (ICST). 377--386","author":"Takala T.","key":"e_1_3_2_1_34_1","unstructured":"T. Takala, M. Katara, and J. Harty. 2011. Experiences of system-level model-based GUI testing of an Android application. In Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation (ICST). 377--386."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.540"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-018-9418-6"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.03.065"}],"event":{"name":"SBES '20: 34th Brazilian Symposium on Software Engineering","sponsor":["SBC Brazilian Computer Society"],"location":"Natal Brazil","acronym":"SBES '20"},"container-title":["Proceedings of the XXXIV Brazilian Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422392.3422508","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3422392.3422508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:54Z","timestamp":1750197714000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422392.3422508"}},"subtitle":["A Functional Test Generation Tool for Mobile Applications"],"short-title":[],"issued":{"date-parts":[[2020,10,21]]},"references-count":36,"alternative-id":["10.1145\/3422392.3422508","10.1145\/3422392"],"URL":"https:\/\/doi.org\/10.1145\/3422392.3422508","relation":{},"subject":[],"published":{"date-parts":[[2020,10,21]]},"assertion":[{"value":"2020-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}