{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:58Z","timestamp":1772532958308,"version":"3.50.1"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2018]]},"DOI":"10.1109\/access.2018.2865213","type":"journal-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T22:18:31Z","timestamp":1534803511000},"page":"46568-46583","source":"Crossref","is-referenced-by-count":11,"title":["An Automated Functional Testing Framework for Context-Aware Applications"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9660-8480","authenticated-orcid":false,"given":"Aamir Mehmood","family":"Mirza","sequence":"first","affiliation":[]},{"given":"Muhammad Naeem Ahmed","family":"Khan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2007.9"},{"key":"ref38","article-title":"Systematic literature review protocol: Investigating context aware software testing strategies","author":"da silva","year":"2014"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1555321.1555325"},{"key":"ref32","first-page":"27","article-title":"Context-dependent testing of applications for mobile devices","volume":"2","author":"majchrzak","year":"2015","journal-title":"Open J Web Technol"},{"key":"ref31","first-page":"504","article-title":"A concept for testing robustness and safety of the context-aware behaviour of autonomous systems","volume":"7327","author":"micskei","year":"2012","journal-title":"Proc 6th KES Int Conf Agent Multi-Agent Syst Technol Appl (KES-AMSTA)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2005.3"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1265525"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.18"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2014.27"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2016.2575444"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSE.2012.79"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453136"},{"key":"ref29","first-page":"65","article-title":"Towards systematic model-based testing of self-adaptive software","author":"p\u00fcschel","year":"2013","journal-title":"Proc 5th Int Conf Adapt Self-Adaptive Syst Appl (ADAPTIVE)"},{"key":"ref2","author":"utting","year":"2007","journal-title":"Practical Model-Based Testing A Tools Approach"},{"key":"ref1","author":"desikan","year":"2007","journal-title":"Software Testing Principles and Practices"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref22","first-page":"213","article-title":"Mapping UML diagrams to a Petri net notation for system simulation","author":"hu","year":"2004","journal-title":"Proc SEKE"},{"key":"ref21","first-page":"103","article-title":"UML diagrams to object Petri net models: An approach for modeling and analysis","author":"saldhana","year":"2000","journal-title":"Proc Int Conf on Software Eng Knowledge Eng"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JCSSE.2016.7748883"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SCESM.2007.1"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.4013\/jacr.2012.21.02"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1109\/ICACT.2005.246216","article-title":"Simulation framework for testing context-aware ubiquitous applications","volume":"2","author":"jang","year":"2005","journal-title":"Proc 7th Int Conf Adv Commun Technol (ICACT)"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.03.008"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.22"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181805"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"ref11","year":"2017","journal-title":"Unified Modeling Language (UML)"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICMB.2005.33"},{"key":"ref12","first-page":"161","article-title":"Formalizing activity diagram of UML by Petri nets","volume":"30","author":"trickovic","year":"2000","journal-title":"Novi Sad J Math"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS.2017.8342891"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2014.2354172"},{"key":"ref15","first-page":"308","author":"xu","year":"2011","journal-title":"A Tool for Automated Test Code Generation From High-Level Petri Nets"},{"key":"ref16","author":"kleppe","year":"2003","journal-title":"MDA Explained The Model Driven Architecture Practice and Promise"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0429-x"},{"key":"ref18","first-page":"1","article-title":"Classification of model transformation approaches","author":"czarnecki","year":"2003","journal-title":"Proc OOPSLA Workshop Generative Techniques in the Context of Model-Driven Architecture"},{"key":"ref19","author":"kahani","year":"2015","journal-title":"Comparison and Evaluation of Model Transformation Tools"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2010.98"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368098"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74255-5_42"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-003-0253-8"},{"key":"ref8","first-page":"102","article-title":"A survey of testing context-aware software: Challenges and resolution","author":"yue","year":"2016","journal-title":"Proc Int Conf Softw Eng Res Pract"},{"key":"ref7","article-title":"Context-aware systems: A case study","volume":"167","author":"chihani","year":"2012","journal-title":"Digital Information and Communication Technology and Its Applications DICTAP"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2015.18"},{"key":"ref9","first-page":"51","article-title":"Challenges in testing context aware software systems","author":"matalonga","year":"2015","journal-title":"9th Workshop on Systematic and Automated Software Testing"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/MPOT.2012.2202135"},{"key":"ref45","year":"2017","journal-title":"Appium Mobile App Automation Made Awesome"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.14257\/ijsh.2016.10.1.11"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2554942"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.4304\/jetwi.5.1.35-44"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CIT\/IUCC\/DASC\/PICOM.2015.62"},{"key":"ref44","author":"dustin","year":"2009","journal-title":"Implementing Automated Software Testing How to Save Time and Lower Costs while Raising Quality"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/SIBCON.2015.7147141"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8274985\/08440671.pdf?arnumber=8440671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T12:39:50Z","timestamp":1751805590000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8440671\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2865213","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}