{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T01:21:13Z","timestamp":1783905673517,"version":"3.55.0"},"reference-count":65,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/501100003093","name":"Ministry of Higher Education, Malaysia","doi-asserted-by":"publisher","award":["RDU170103"],"award-info":[{"award-number":["RDU170103"]}],"id":[{"id":"10.13039\/501100003093","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2895504","type":"journal-article","created":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T20:33:37Z","timestamp":1548966817000},"page":"17158-17173","source":"Crossref","is-referenced-by-count":33,"title":["AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing"],"prefix":"10.1109","volume":"7","author":[{"given":"Ibrahim-Anka","family":"Salihu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rosziati","family":"Ibrahim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9051-7609","authenticated-orcid":false,"given":"Bestoun S.","family":"Ahmed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kamal Z.","family":"Zamli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Asmau","family":"Usman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","author":"limaye","year":"2009","journal-title":"Software Testing"},{"key":"ref38","first-page":"218","article-title":"Reverse engineered formal models for GUI testing","author":"paiva","year":"2007","journal-title":"Proc 16th Int Workshop Formal Methods Ind Critical Syst"},{"key":"ref33","year":"2018","journal-title":"JUnit"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.89"},{"key":"ref31","author":"yang","year":"2015","journal-title":"Static Analyses of GUI Behavior in Android Applications"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.76"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2003.1287256"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.11"},{"key":"ref35","year":"2017","journal-title":"UI Application Exerciser Monkey"},{"key":"ref34","year":"2018","journal-title":"Selenium"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180246"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/2594368.2594390"},{"key":"ref63","year":"2018","journal-title":"Wala Framework"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-319-24584-3_24","article-title":"Comparative analysis of GUI reverse engineering techniques","author":"salihu","year":"2016","journal-title":"Advanced Computer and Communication Engineering Technology"},{"key":"ref64","year":"2018","journal-title":"Scandroid"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480324"},{"key":"ref65","year":"2018","journal-title":"Troyd"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1145\/2544173.2509549","article-title":"Targeted and depth-first exploration for systematic testing of Android apps","volume":"48","author":"azim","year":"2013","journal-title":"ACM SIGPLAN Notices"},{"key":"ref2","year":"2018","journal-title":"Worldwide PC Sales"},{"key":"ref1","year":"2018","journal-title":"Worldwide Smartphone Sales"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351717"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2015.77"},{"key":"ref24","year":"2017","journal-title":"Android"},{"key":"ref23","first-page":"1","article-title":"Reverse engineering of GUI models for testing","author":"grilo","year":"2010","journal-title":"Proc 6th Iberian Conf Inf Syst Technol (CISTI)"},{"key":"ref26","first-page":"224","article-title":"Dynamic reverse engineering of graphical user interfaces","volume":"5","author":"morgado","year":"2012","journal-title":"Int J Adv Software"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194016710042"},{"key":"ref50","first-page":"67","article-title":"Automated testing with targeted event sequence generation","author":"jensen","year":"2013","journal-title":"Proc Int Symp Softw Test Anal"},{"key":"ref51","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1145\/2635868.2635871","article-title":"Detecting energy bugs and hotspots in mobile apps","author":"banerjee","year":"2014","journal-title":"Proc Sixth ACM SIGSOFT Int'l Symp Foundations of Software Eng"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.31"},{"key":"ref58","article-title":"MuDroid: Mutation testing for Android apps","author":"wei","year":"2015"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2007.5"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134425"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.04.012"},{"key":"ref53","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1145\/2544173.2509552","article-title":"Guided GUI testing of Android apps with minimal restart and approximate learning","volume":"48","author":"choi","year":"2013","journal-title":"ACM SIGPLAN Notices"},{"key":"ref52","year":"2017","journal-title":"Gator Program Analysis Toolkit For Android"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2012.6228987"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242288"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2331982"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.77"},{"key":"ref13","first-page":"177","article-title":"Model inference of mobile applications with dynamic state abstraction","author":"salva","year":"2016","journal-title":"Software Engineering Artificial Intelligence Networking and Parallel\/Distributed Computing"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2013.03.004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CSSS.2012.151"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2012.23"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0128-9"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882443"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/2970276.2970313","article-title":"Automated model-based Android GUI testing using multi-level GUI comparison criteria","author":"baek","year":"2016","journal-title":"Proc 31st IEEE\/ACM Int Conf Autom Softw Eng"},{"key":"ref4","year":"2018","journal-title":"Worldwide App Revenue Sales"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2012.6334930"},{"key":"ref6","first-page":"250","article-title":"A grey-box approach for automated GUI-model generation of mobile applications","volume":"13","author":"yang","year":"2013","journal-title":"Proc FASE"},{"key":"ref5","year":"2018","journal-title":"Worldwide App Revenue Forecast"},{"key":"ref8","first-page":"29","article-title":"Mobile application software engineering: Challenges and research directions","volume":"2","author":"dehlinger","year":"2011","journal-title":"Proceedings of the Workshop on Mobile Software Engineering"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.31"},{"key":"ref49","author":"kleinberg","year":"2006","journal-title":"Algorithm Design"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.460"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635869"},{"key":"ref45","article-title":"Scandroid: Automated security certification of Android","author":"fuchs","year":"2009"},{"key":"ref48","first-page":"1","article-title":"Effective inter-component communication mapping in Android with Epicc: An essential step towards holistic security analysis","author":"octeau","year":"2013","journal-title":"Proc USENIX Security07"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568301"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2014.39"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1016\/j.infsof.2008.07.001","article-title":"Covering code behavior on input validation in functional testing","volume":"51","author":"liu","year":"2009","journal-title":"Inf Softw Technol"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/MOBS.2013.6614215"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.55"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08630936.pdf?arnumber=8630936","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T06:36:58Z","timestamp":1643265418000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8630936\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":65,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2895504","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}