{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T04:17:16Z","timestamp":1771647436993,"version":"3.50.1"},"reference-count":71,"publisher":"Association for Computing Machinery (ACM)","issue":"EICS","license":[{"start":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T00:00:00Z","timestamp":1560384000000},"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":["Proc. ACM Hum.-Comput. Interact."],"published-print":{"date-parts":[[2019,6,13]]},"abstract":"<jats:p>This paper presents iMPAcT tool that tests recurring common behavior on Android mobile applications. The process followed combines exploration, reverse engineering and testing to automatically test Android mobile applications. The tool explores automatically the App by firing UI events. After each event fired, the tool checks if there are UI patterns present using a reverse engineering process. If a UI pattern is present, the tool runs the corresponding testing strategy (Test Pattern). During reverse engineering the tool uses a catalog of UI Patterns which describes recurring behavior (UI Patterns) to test and the corresponding test strategies (Test Patterns). This catalog may be extended in the future as needed (e.g., to deal with new interaction trends). This paper describes the implementation details of the iMPAcT tool, the catalog of patterns used, the outputs produced by the tool and the results of experiments performed in order to evaluate the overall testing approach. These results show that the overall testing approach is capable of finding failures on existing Android mobile applications.<\/jats:p>","DOI":"10.1145\/3300963","type":"journal-article","created":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T12:36:28Z","timestamp":1560515788000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["The iMPAcT Tool for Android Testing"],"prefix":"10.1145","volume":"3","author":[{"given":"In\u00eas Coimbra","family":"Morgado","sequence":"first","affiliation":[{"name":"University of Porto, Porto, Portugal"}]},{"given":"Ana C. R.","family":"Paiva","sequence":"additional","affiliation":[{"name":"University of Porto &amp; INESC TEC, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2019,6,13]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771786"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoDIT.2013.6689585"},{"key":"e_1_2_1_3_1","volume-title":"Buildings, Construction 1 ed.)","author":"Alexander Christopher W.","unstructured":"Christopher W. Alexander , Sara Ishikawa , Murray Silverstein , and Max Jacobson . 1977. A Pattern Language: Towns , Buildings, Construction 1 ed.) . Oxford University Press , New York , New York, USA. 1171 pages. Christopher W. Alexander, Sara Ishikawa, Murray Silverstein, and Max Jacobson. 1977. A Pattern Language: Towns, Buildings, Construction 1 ed.). Oxford University Press, New York, New York, USA. 1171 pages."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647648.2656426"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2009.5306391"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351717"},{"key":"e_1_2_1_7_1","volume-title":"Verif. Reliab.","volume":"28","author":"Amalfitano Domenico","year":"2018","unstructured":"Domenico Amalfitano , Vincenzo Riccio , Ana C. R. Paiva , and Anna Rita Fasolino . 2018 . Why does the orientation change mess up my Android application? From GUI failures to code faults. Softw. Test ., Verif. Reliab. , Vol. 28 , 1 (2018). Domenico Amalfitano, Vincenzo Riccio, Ana C. R. Paiva, and Anna Rita Fasolino. 2018. Why does the orientation change mess up my Android application? From GUI failures to code faults. Softw. Test., Verif. Reliab., Vol. 28, 1 (2018)."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_2_1_9_1","unstructured":"Google Android. 2008. Announcing the Android 1.0 SDK release 1. http:\/\/goo.gl\/5PSQHj  Google Android. 2008. Announcing the Android 1.0 SDK release 1. http:\/\/goo.gl\/5PSQHj"},{"key":"e_1_2_1_10_1","unstructured":"Google Android. 2015. Android - What To Test. http:\/\/goo.gl\/AL22tJ  Google Android. 2015. Android - What To Test. http:\/\/goo.gl\/AL22tJ"},{"key":"e_1_2_1_11_1","unstructured":"Google Android. 2015. Android Navigation Drawer. http:\/\/goo.gl\/nnJOoj  Google Android. 2015. Android Navigation Drawer. http:\/\/goo.gl\/nnJOoj"},{"key":"e_1_2_1_12_1","unstructured":"Google Android. 2015. Up and running with material design. https:\/\/goo.gl\/GmsJSJ  Google Android. 2015. Up and running with material design. https:\/\/goo.gl\/GmsJSJ"},{"key":"e_1_2_1_13_1","unstructured":"Google Android. 2016. Pure Android. http:\/\/goo.gl\/LqNPyS  Google Android. 2016. Pure Android. http:\/\/goo.gl\/LqNPyS"},{"key":"e_1_2_1_14_1","unstructured":"Google Android. 2016. Tabs. https:\/\/www.google.com\/design\/spec\/components\/tabs.html  Google Android. 2016. Tabs. https:\/\/www.google.com\/design\/spec\/components\/tabs.html"},{"key":"e_1_2_1_15_1","unstructured":"Apple. 2007. Apple Reinvents the Phone with iPhone. https:\/\/goo.gl\/AoFdyx  Apple. 2007. Apple Reinvents the Phone with iPhone. https:\/\/goo.gl\/AoFdyx"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.70"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2662413.2662427"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MALWARE.2011.6112328"},{"key":"e_1_2_1_19_1","unstructured":"Nick Butcher and Android Developers. 2016. Android Design in Action: Navigation Anti-Patterns. https:\/\/www.youtube.com\/watch?v=Sww4omntVjs  Nick Butcher and Android Developers. 2016. Android Design in Action: Navigation Anti-Patterns. https:\/\/www.youtube.com\/watch?v=Sww4omntVjs"},{"key":"e_1_2_1_20_1","unstructured":"Nick Butcher and Roman Nurik. 2016. Android Design in Action - Navigation anti - Patterns. http:\/\/www.readable.com\/ff647Z8N  Nick Butcher and Roman Nurik. 2016. Android Design in Action - Navigation anti - Patterns. http:\/\/www.readable.com\/ff647Z8N"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.43044"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2855321.2855354"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW.2015.11"},{"key":"e_1_2_1_26_1","volume-title":"30th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2015","author":"Morgado In\u00eas Coimbra","year":"2083","unstructured":"In\u00eas Coimbra Morgado and Ana C. R. Paiva . 2015. The iMPAcT Tool: Testing UI Patterns on Mobile Applications . In 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2015 ). Lincoln, NE, USA. http:\/\/ieeexplore.ieee.org\/xpls\/abs_all.jsp?arnumber=737 2083 In\u00eas Coimbra Morgado and Ana C. R. Paiva. 2015. The iMPAcT Tool: Testing UI Patterns on Mobile Applications. In 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2015). Lincoln, NE, USA. http:\/\/ieeexplore.ieee.org\/xpls\/abs_all.jsp?arnumber=7372083"},{"key":"e_1_2_1_27_1","volume-title":"The 7th International Conference on Ambient Systems, Networks and Technologies","volume":"83","author":"Morgado In\u00eas Coimbra","year":"2016","unstructured":"In\u00eas Coimbra Morgado and Ana C. R. Paiva . 2016. Impact of execution modes on finding Android failures . The 7th International Conference on Ambient Systems, Networks and Technologies , Vol. 83 ( 2016 ), 284--291. In\u00eas Coimbra Morgado and Ana C. R. Paiva. 2016. Impact of execution modes on finding Android failures. The 7th International Conference on Ambient Systems, Networks and Technologies, Vol. 83 (2016), 284--291."},{"key":"e_1_2_1_28_1","volume-title":"Reverse Engineering of Graphical User Interfaces. In The Sixth International Conference on Software Engineering Advances (ICSEA '11)","author":"Morgado In\u00eas Coimbra","year":"2011","unstructured":"In\u00eas Coimbra Morgado , Ana C. R. Paiva , and Joao Pascoal Faria . 2011 . Reverse Engineering of Graphical User Interfaces. In The Sixth International Conference on Software Engineering Advances (ICSEA '11) . Barcelona, 293--298. In\u00eas Coimbra Morgado, Ana C. R. Paiva, and Joao Pascoal Faria. 2011. Reverse Engineering of Graphical User Interfaces. In The Sixth International Conference on Software Engineering Advances (ICSEA '11). Barcelona, 293--298."},{"key":"e_1_2_1_29_1","article-title":"Dynamic Reverse Engineering of Graphical User Interfaces","volume":"5","author":"Morgado In\u00eas Coimbra","year":"2012","unstructured":"In\u00eas Coimbra Morgado , Ana C. R. Paiva , and Joao Pascoal Faria . 2012 . Dynamic Reverse Engineering of Graphical User Interfaces . International Journal On Advances in Software , Vol. 5 , 3 and 4 (2012), 224--236. http:\/\/goo.gl\/yRoIKF In\u00eas Coimbra Morgado, Ana C. R. Paiva, and Joao Pascoal Faria. 2012. Dynamic Reverse Engineering of Graphical User Interfaces. International Journal On Advances in Software, Vol. 5, 3 and 4 (2012), 224--236. http:\/\/goo.gl\/yRoIKF","journal-title":"International Journal On Advances in Software"},{"key":"e_1_2_1_30_1","volume-title":"Pattern Based GUI Testing for Mobile Applications. In 9th International Conference on the Quality of Information and Communications Technology (QUATIC","author":"Costa Pedro","year":"2014","unstructured":"Pedro Costa , Ana C. R. Paiva , and Miguel Nabuco . 2014 . Pattern Based GUI Testing for Mobile Applications. In 9th International Conference on the Quality of Information and Communications Technology (QUATIC 2014). IEEE, Guimar a es, Portugal, 66--74. Pedro Costa, Ana C. R. Paiva, and Miguel Nabuco. 2014. Pattern Based GUI Testing for Mobile Applications. In 9th International Conference on the Quality of Information and Communications Technology (QUATIC 2014). IEEE, Guimar a es, Portugal, 66--74."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTE.2010.5608882"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCICCT.2014.6993055"},{"key":"e_1_2_1_33_1","unstructured":"Apple Developer. 2016. iOS Human Interface Guidilines. https:\/\/goo.gl\/kUhwJE  Apple Developer. 2016. iOS Human Interface Guidilines. https:\/\/goo.gl\/kUhwJE"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2011.42"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.104"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786873"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568276"},{"key":"e_1_2_1_38_1","volume-title":"The 5th Iberian Conference on Information Systems and Technologies (CISTI '10)","author":"Grilo A. M. P.","unstructured":"A. M. P. Grilo , A. C. R. Paiva , and J. P. Faria . 2010. Reverse engineering of GUI models for testing . In The 5th Iberian Conference on Information Systems and Technologies (CISTI '10) . IEEE, 1--6. http:\/\/goo.gl\/bXcIy A. M. P. Grilo, A. C. R. Paiva, and J. P. Faria. 2010. Reverse engineering of GUI models for testing. In The 5th Iberian Conference on Information Systems and Technologies (CISTI '10). IEEE, 1--6. http:\/\/goo.gl\/bXcIy"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370207"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.19"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982612"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2819009.2819159"},{"key":"e_1_2_1_43_1","unstructured":"Nathan Ingraham. 2013. Apple announces 1 million apps in the App Store more than 1 billion songs played on iTunes radio. http:\/\/goo.gl\/z3RprB  Nathan Ingraham. 2013. Apple announces 1 million apps in the App Store more than 1 billion songs played on iTunes radio. http:\/\/goo.gl\/z3RprB"},{"key":"e_1_2_1_44_1","unstructured":"ISO\/IEC. 2011. ISO\/IEC 25010:2011 - Systems and software engineering Systems and software Quality Requirements and Evaluation (SQuaRE) System and software quality models. Technical Report. https:\/\/www.iso.org\/obp\/ui\/#iso:std:iso-iec:25010  ISO\/IEC. 2011. ISO\/IEC 25010:2011 - Systems and software engineering Systems and software Quality Requirements and Evaluation (SQuaRE) System and software quality models. Technical Report. https:\/\/www.iso.org\/obp\/ui\/#iso:std:iso-iec:25010"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483777"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2012.27"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/11759744_2"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2012.53"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/2663608.2663613"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2010.42"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.24"},{"key":"e_1_2_1_52_1","volume-title":"9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'2014)","author":"Rodrigo M. L.","unstructured":"Rodrigo M. L. M. Moreira and Ana C. R. Paiva. 2014. A GUI Modeling DSL for Pattern-Based GUI Testing PARADIGM . In 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'2014) . Lisbon, Portugal. Rodrigo M. L. M. Moreira and Ana C. R. Paiva. 2014. A GUI Modeling DSL for Pattern-Based GUI Testing PARADIGM. In 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'2014). Lisbon, Portugal."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2648618"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698881"},{"key":"e_1_2_1_55_1","volume-title":"Verif. Reliab.","volume":"27","author":"Moreira Rodrigo M. L. M.","year":"2017","unstructured":"Rodrigo M. L. M. Moreira , Ana C. R. Paiva , Miguel Nabuco , and Atif Memon . 2017 . Pattern-based GUI testing: Bridging the gap between design and quality assurance. Softw. Test ., Verif. Reliab. , Vol. 27 , 3 (2017). Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Miguel Nabuco, and Atif Memon. 2017. Pattern-based GUI testing: Bridging the gap between design and quality assurance. Softw. Test., Verif. Reliab., Vol. 27, 3 (2017)."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/2663608.2663615"},{"key":"e_1_2_1_57_1","volume-title":"8th Iberian Conference on Information Systems and Technologies (CISTI '13)","author":"Nabuco Miguel","year":"2013","unstructured":"Miguel Nabuco , Ana C.R. Paiva , Rui Camacho , and Joao Pascoal Faria . 2013 . Inferring UI patterns with Inductive Logic Programming . In 8th Iberian Conference on Information Systems and Technologies (CISTI '13) . Lisbon, Portugal, 1--5. Miguel Nabuco, Ana C.R. Paiva, Rui Camacho, and Joao Pascoal Faria. 2013. Inferring UI patterns with Inductive Logic Programming. In 8th Iberian Conference on Information Systems and Technologies (CISTI '13). Lisbon, Portugal, 1--5."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09153-2_19"},{"key":"e_1_2_1_59_1","volume-title":"Mobile Design Pattern Gallery: UI Patterns for Smartphone Apps","author":"Neil Theresa","unstructured":"Theresa Neil . 2014. Mobile Design Pattern Gallery: UI Patterns for Smartphone Apps 2 nd ed.). O'Reilly Media, Inc. , Sebastopol, Canada . Theresa Neil. 2014. Mobile Design Pattern Gallery: UI Patterns for Smartphone Apps 2nd ed.). O'Reilly Media, Inc., Sebastopol, Canada.","edition":"2"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336765"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2009.01.017"},{"key":"e_1_2_1_62_1","volume-title":"Mendes","author":"Paiva Ana C. R.","year":"2007","unstructured":"Ana C. R. Paiva , Joao C. P. Faria , and Pedro M. C . Mendes . 2007 . Reverse engineered formal models for GUI testing. In The 12th international conference on Formal methods for industrial critical systems. Springer-Verlag , 218--233. Ana C. R. Paiva, Joao C. P. Faria, and Pedro M. C. Mendes. 2007. Reverse engineered formal models for GUI testing. In The 12th international conference on Formal methods for industrial critical systems. Springer-Verlag, 218--233."},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2689702.2689705"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2008.35"},{"key":"e_1_2_1_65_1","volume-title":"9th International Conference on the Quality of Information and Communications Technology (QUATIC","author":"Sacramento Clara","year":"2014","unstructured":"Clara Sacramento and Ana C. R. Paiva . 2014. Web Application Model Generation through Reverse Engineering and UI Pattern Inferring . In 9th International Conference on the Quality of Information and Communications Technology (QUATIC 2014 ). IEEE, Guimar a es, Portugal, 105--115. Clara Sacramento and Ana C. R. Paiva. 2014. Web Application Model Generation through Reverse Engineering and UI Pattern Inferring. In 9th International Conference on the Quality of Information and Communications Technology (QUATIC 2014). IEEE, Guimar a es, Portugal, 105--115."},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480308"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2014.32"},{"key":"e_1_2_1_68_1","volume-title":"Practical Model-Based Testing: A Tools Approach 1 ed.)","author":"Utting Mark","unstructured":"Mark Utting and Bruno Legeard . 2006. Practical Model-Based Testing: A Tools Approach 1 ed.) . Morgan Kaufmann Publishers , San Francisco, CA, USA . Mark Utting and Bruno Legeard. 2006. Practical Model-Based Testing: A Tools Approach 1 ed.). Morgan Kaufmann Publishers, San Francisco, CA, USA."},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382797"},{"key":"e_1_2_1_70_1","unstructured":"Mark Wilson. 2008. T-Mobile G1: Full Details of the HTC Dream Android Phone. http:\/\/goo.gl\/6vqI4E  Mark Wilson. 2008. T-Mobile G1: Full Details of the HTC Dream Android Phone. http:\/\/goo.gl\/6vqI4E"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134473"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_19"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2790798.2790822"}],"container-title":["Proceedings of the ACM on Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3300963","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3300963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:23Z","timestamp":1750206323000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3300963"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,13]]},"references-count":71,"journal-issue":{"issue":"EICS","published-print":{"date-parts":[[2019,6,13]]}},"alternative-id":["10.1145\/3300963"],"URL":"https:\/\/doi.org\/10.1145\/3300963","relation":{},"ISSN":["2573-0142"],"issn-type":[{"value":"2573-0142","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,13]]},"assertion":[{"value":"2019-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}