{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T12:09:52Z","timestamp":1773922192045,"version":"3.50.1"},"reference-count":54,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107450","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T16:37:48Z","timestamp":1431621468000},"page":"1-10","source":"Crossref","is-referenced-by-count":21,"title":["Towards mutation analysis of Android apps"],"prefix":"10.1109","author":[{"given":"Lin","family":"Deng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nariman","family":"Mirzaei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2012.6228986"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210704"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5939-6_3"},{"key":"ref31","article-title":"Investigating the applicability of traditional test adequacy criteria for object-oriented programs","author":"kim","year":"2000","journal-title":"Proceedings of ObjectDays 2000"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483777"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.308"},{"key":"ref36","first-page":"352","article-title":"Inter-class mutation operators for Java","author":"ma","year":"2002","journal-title":"Proc 13th Int l Symp Software Reliability Eng"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1146374.1146380"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1990.131379"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.20"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982612"},{"key":"ref2","year":"0","journal-title":"Android Intents"},{"key":"ref1","year":"0","journal-title":"Android Developer Guide"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.12"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref24","first-page":"220","article-title":"Mutation analysis testing for finite state machines","author":"fabbri","year":"1994","journal-title":"5th IEEE International Symposium on Software Reliability Engineering (ISSRE 94)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.20"},{"key":"ref26","article-title":"Gartner says sales of smartphones grew 20 percent in third quarter of 2014","year":"2014"},{"key":"ref25","first-page":"329","article-title":"Mutation analysis applied to validate specifications based on Petri nets","author":"fabbri","year":"1995","journal-title":"Proceedings of the 8th International Conference on Formal De scription Techniques (FORTE'95)"},{"key":"ref50","article-title":"Emma","author":"roubtsov","year":"2006"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.23"},{"key":"ref54","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/978-3-642-37057-1_19","article-title":"A grey-box approach for automated GUI-model generation of mobile applications","author":"yang","year":"2013","journal-title":"Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering ser FASE'13"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00098-0"},{"key":"ref52","first-page":"439","article-title":"Constrained mutation in C programs","author":"wong","year":"1994","journal-title":"Proceedings of the 8th Brazilian Sysmposium on Software Engineering"},{"key":"ref10","year":"0","journal-title":"TippyTipper"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635896"},{"key":"ref11","year":"0","journal-title":"Xposed Framework"},{"key":"ref12","article-title":"Design of mutant operators for the C programming language","author":"agrawal","year":"1989","journal-title":"Technical Report SERC-TR-41-P"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.77"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351717"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.13"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1145\/2509136.2509549","article-title":"Targeted and depth-first exploration for systematic testing of Android apps","author":"azim","year":"2013","journal-title":"Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications ser OOPSLA '13"},{"key":"ref19","first-page":"79","article-title":"Proteum-A tool for the assessment of test adequacy for C programs","author":"delamaro","year":"1996","journal-title":"Proceedings of the Conference on Performability in Computing Systems (PCS 96)"},{"key":"ref4","year":"0","journal-title":"ART and Dalvik"},{"key":"ref3","year":"0","journal-title":"Android Testing Framework"},{"key":"ref6","year":"0","journal-title":"Google Play"},{"key":"ref5","year":"0","journal-title":"Dalvik - Code and Documentation from Android's VM Team"},{"key":"ref8","year":"0","journal-title":"Robolectric"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.38"},{"key":"ref7","year":"0","journal-title":"JUnit"},{"key":"ref9","year":"0","journal-title":"Robotium"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.3.CO;2-M"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989461"},{"key":"ref48","article-title":"Testing web services by XML perturbation","author":"offutt","year":"2005","journal-title":"Proc of Intl Symposium on Software Reliability Engineering"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138945"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2382756.2382798","article-title":"Testing Android apps through symbolic execution","volume":"37","author":"mirzaei","year":"2012","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.23"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.010"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/32.57623"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","location":"Graz, Austria","start":{"date-parts":[[2015,4,13]]},"end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107450.pdf?arnumber=7107450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,24]],"date-time":"2019-08-24T23:26:15Z","timestamp":1566689175000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107450\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":54,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107450","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}