{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:16:46Z","timestamp":1759033006263},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2015,3,23]],"date-time":"2015-03-23T00:00:00Z","timestamp":1427068800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s11432-015-5300-3","type":"journal-article","created":{"date-parts":[[2015,3,23]],"date-time":"2015-03-23T07:16:00Z","timestamp":1427094960000},"page":"1-14","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/http\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A survey on dependability improvement techniques for pervasive computing systems"],"prefix":"10.1007","volume":"58","author":[{"given":"WenHua","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YePang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. C.","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,23]]},"reference":[{"key":"5300_CR1","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1038\/scientificamerican0991-94","volume":"265","author":"M Weiser","year":"1991","unstructured":"Weiser M. The computer for the 21st century. Sci Amer, 1991, 265: 94\u2013104","journal-title":"Sci Amer"},{"key":"5300_CR2","first-page":"8","volume-title":"BMC Med Inf Decis Making","author":"C Orwat","year":"2008","unstructured":"Orwat C, Graefe A, Faulwasser T. Towards pervasive computing in health care-Ca literature review. BMC Med Inf Decis Making, 2008, 8\u201326"},{"key":"5300_CR3","first-page":"133","volume-title":"Proceedings of the 2003 IEEE International Conference on Pervasive Computing and Communications, Texas","author":"G Judd","year":"2003","unstructured":"Judd G, Steenkiste P. Providing contextual information to pervasive computing applications. In: Proceedings of the 2003 IEEE International Conference on Pervasive Computing and Communications, Texas, 2003. 133\u2013142"},{"key":"5300_CR4","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/98.943998","volume":"8","author":"M Satyanarayanan","year":"2001","unstructured":"Satyanarayanan M. Pervasive computing: vision and challenges. Personal Commun, 2001, 8: 10\u201317","journal-title":"Personal Commun"},{"key":"5300_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-adaptive Systems","author":"B H C Cheng","year":"2009","unstructured":"Cheng B H C, de Lemos R, Giese H, et al. Software engineering for self-adaptive systems: a research roadmap. In: de Lemos R, Giese H, M\u00fcller H A, et al., eds. Software Engineering for Self-adaptive Systems. Berlin\/Heidelberg: Springer, 2009. 1\u201326"},{"key":"5300_CR6","first-page":"336","volume-title":"Proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon","author":"C Xu","year":"2005","unstructured":"Xu C, Cheung S C. Inconsistency detection and resolution for context-aware middleware support. In: Proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, 2005. 336\u2013345"},{"key":"5300_CR7","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/2642937.2642999","volume-title":"Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, Vasteras","author":"W Yang","year":"2014","unstructured":"Yang W, Xu C, Liu Y, et al. Verifying self-adaptive applications suffering uncertainty. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, Vasteras, 2014. 199\u2013210"},{"key":"5300_CR8","first-page":"292","volume-title":"Proceedings of the 28th International Conference on Software Engineering, Shanghai","author":"C Xu","year":"2006","unstructured":"Xu C, Cheung S C, Chan W K. Incremental consistency checking for pervasive context. In: Proceedings of the 28th International Conference on Software Engineering, Shanghai, 2006. 292\u2013301"},{"key":"5300_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1656250.1656253","volume":"19","author":"C Xu","year":"2010","unstructured":"Xu C, Cheung S C, Chan W K, et al. Partial constraint checking for context consistency. ACM Trans Softw Eng Methodol, 2010, 19: 1\u201361","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"5300_CR10","doi-asserted-by":"crossref","first-page":"2812","DOI":"10.1016\/j.jss.2012.04.078","volume":"85","author":"C Xu","year":"2012","unstructured":"Xu C, Cheung S C, Ma X, et al. ADAM: identifying defects in context-aware adaptation. J Syst Softw, 2012, 85: 2812\u20132828","journal-title":"J Syst Softw"},{"key":"5300_CR11","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1109\/TSE.2010.35","volume":"36","author":"M Sama","year":"2010","unstructured":"Sama M, Elbaum S, Raimondi F, et al. Context-aware adaptive applications: fault patterns and their automated identification. IEEE Trans Softw Eng, 2010, 36: 644\u2013661","journal-title":"IEEE Trans Softw Eng"},{"key":"5300_CR12","doi-asserted-by":"crossref","first-page":"1013","DOI":"10.1145\/2568225.2568229","volume-title":"Proceedings of the 32nd International Conference on Software Engineering, Hyderabad","author":"Y Liu","year":"2014","unstructured":"Liu Y, Xu C, Cheung S C. Characterizing and detecting performance bugs for smartphone applications. In: Proceedings of the 32nd International Conference on Software Engineering, Hyderabad, 2014. 1013\u20131024"},{"key":"5300_CR13","first-page":"219","volume":"3","author":"H Cheng","year":"2012","unstructured":"Cheng H, Liu Y, Cheung S C, et al. Mixed-reality simulation of RFID systems using iterated learning. Int J RF Technol Res Appl, 2012, 3: 219\u2013242","journal-title":"Int J RF Technol Res Appl"},{"key":"5300_CR14","doi-asserted-by":"crossref","first-page":"1684","DOI":"10.1109\/JSAC.2011.110917","volume":"29","author":"X Xu","year":"2011","unstructured":"Xu X, Gu L, Wang J, et al. Read more with less: an adaptive approach to energy-efficient RFID systems. IEEE J Sel Areas Commun, 2011, 29: 1684\u20131697","journal-title":"IEEE J Sel Areas Commun"},{"key":"5300_CR15","first-page":"419","volume":"4","author":"C Gao","year":"2010","unstructured":"Gao C, Wei J, Xu C, et al. Sequential event pattern based design of context-aware adaptive application. Int J Softw Inf, 2010, 4: 419\u2013436","journal-title":"Int J Softw Inf"},{"key":"5300_CR16","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/s11704-010-0387-6","volume":"4","author":"A Lu","year":"2010","unstructured":"Lu A, Fang W, Xu C, et al. Data-driven testing methodology for RFID systems. Front Comput Sci China, 2010, 4: 354\u2013364","journal-title":"Front Comput Sci China"},{"key":"5300_CR17","doi-asserted-by":"crossref","first-page":"1335","DOI":"10.1109\/TVCG.2009.156","volume":"15","author":"Y Wu","year":"2009","unstructured":"Wu Y, Chung K K, Qu H, et al. Interactive visual optimization and analysis for RFID benchmarking. IEEE Trans Visual Comput Graph, 2009, 15: 1335\u20131342","journal-title":"IEEE Trans Visual Comput Graph"},{"key":"5300_CR18","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1109\/TSE.2014.2323982","volume":"40","author":"Y Liu","year":"2014","unstructured":"Liu Y, Xu C, Cheung S C, et al. GreenDroid: automated diagnosis of energy inefficiency for smartphone applications. IEEE Trans Softw Eng, 2014, 40: 911\u2013940","journal-title":"IEEE Trans Softw Eng"},{"key":"5300_CR19","first-page":"163","volume-title":"Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul","author":"S R Jeffery","year":"2006","unstructured":"Jeffery S R, Garofalakis M, Franklin M J. Adaptive cleaning for RFID data streams. In: Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul, 2006. 163\u2013174"},{"key":"5300_CR20","first-page":"99","volume-title":"Proceedings of the 2012 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, Zurich","author":"A J Ramirez","year":"2012","unstructured":"Ramirez A J, Jensen A C, Cheng B H C. A taxonomy of uncertainty for dynamically adaptive systems. In: Proceedings of the 2012 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, Zurich, 2012. 99\u2013108"},{"key":"5300_CR21","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-48157-5_10","volume-title":"Handheld Ubiq Comput","author":"A Schmidt","year":"1999","unstructured":"Schmidt A, Aidoo K A, Takaluoma A, et al. Advanced interaction in context. Handheld Ubiq Comput, 1999: 89\u2013101"},{"key":"5300_CR22","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-45348-2_26","volume-title":"Eng Hum-Comput Interact","author":"P Gray","year":"2001","unstructured":"Gray P, Salber D. Modelling and using sensed context information in the design of interactive applications. Eng Hum-Comput Interact, 2001, 317\u2013335"},{"key":"5300_CR23","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1023\/A:1013767926256","volume":"8","author":"A Harter","year":"2002","unstructured":"Harter A, Hopper A, Steggles P, et al. The anatomy of a context-aware application. Wirel Netw, 2002, 8: 187\u2013197","journal-title":"Wirel Netw"},{"key":"5300_CR24","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/3-540-45866-2_14","volume":"2414","author":"K Henricksen","year":"2002","unstructured":"Henricksen K, Indulska J, Rakotonirainy A. Modeling context information in pervasive computing systems. Lect Notes Comput Sci, 2002, 2414: 167\u2013180","journal-title":"Lect Notes Comput Sci"},{"key":"5300_CR25","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/MPRV.2002.1158281","volume":"1","author":"M Roman","year":"2002","unstructured":"Roman M, Hess C, Cerqueira R, et al. A middleware infrastructure for active spaces. IEEE Pervasive Comput, 2002, 1: 74\u201383","journal-title":"IEEE Pervasive Comput"},{"key":"5300_CR26","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-0-387-35607-5_2","volume-title":"Software Architecture","author":"J P Sousa","year":"2002","unstructured":"Sousa J P, Garlan D. Aura: an architectural framework for user mobility in ubiquitous computing environments. In: Bosch J, Gentleman M, Hofmeister C, et al., eds. Software Architecture. New York: Kluwer Academic Publishers, 2002. 29\u201343"},{"key":"5300_CR27","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-1-4471-0743-9_11","volume-title":"Managing Interactions in Smart Environments","author":"A K Dey","year":"2000","unstructured":"Dey A K, Abowd G D, Salber D. A context-based infrastructure for smart environments. In: Paddy N, Gerard L, Simon D, eds. Managing Interactions in Smart Environments. London: Springer, 2000. 114\u2013128"},{"key":"5300_CR28","first-page":"363","volume-title":"Proceedings of 25th International Conference on Software Engineering, Portland","author":"W G Griswold","year":"2003","unstructured":"Griswold W G, Boyer R, Brown S W, et al. A component architecture for an extensible, highly integrated contextaware computing infrastructure. In: Proceedings of 25th International Conference on Software Engineering, Portland, 2003. 363\u2013372"},{"key":"5300_CR29","first-page":"568","volume-title":"Proceedings of the NPC 2004 Workshop on Building Intelligent Sensor Networks, Wuhan","author":"C Xu","year":"2004","unstructured":"Xu C, Cheung S C, Lo C, et al. Cabot: on the ontology for the middleware support of context-aware pervasive applications. In: Proceedings of the NPC 2004 Workshop on Building Intelligent Sensor Networks, Wuhan, 2004. 568\u2013575"},{"key":"5300_CR30","first-page":"381","volume-title":"Proceedings of the 28th International Conference on Software Engineering, Shanghai","author":"A Egyed","year":"2006","unstructured":"Egyed A. Instant consistency checking for the UML. In: Proceedings of the 28th International Conference on Software Engineering, Shanghai, 2006. 381\u2013390"},{"key":"5300_CR31","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C Nentwich","year":"2002","unstructured":"Nentwich C, Capra L, Emmerich W, et al. Xlinkit: a consistency checking and smart link generation service. ACM Trans Internet Technol, 2002, 2: 151\u2013185","journal-title":"ACM Trans Internet Technol"},{"key":"5300_CR32","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1109\/TSE.2006.122","volume":"32","author":"B Demsky","year":"2006","unstructured":"Demsky B, Rinard M C. Goal-directed reasoning for specification-based data structure repair. IEEE Trans Softw Eng, 2006, 32: 931\u2013951","journal-title":"IEEE Trans Softw Eng"},{"key":"5300_CR33","first-page":"082105","volume":"56","author":"C Xu","year":"2013","unstructured":"Xu C, Liu Y P, Cheung S C, et al. Towards context consistency by concurrent checking for Internetware applications. Sci China Inf Sci, 2013, 56: 082105","journal-title":"Sci China Inf Sci"},{"key":"5300_CR34","first-page":"7","volume-title":"Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, Minneapolis","author":"C Xu","year":"2007","unstructured":"Xu C, Cheung S C, Chan W K. Goal-directed context validation for adaptive ubiquitous systems. In: Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, Minneapolis, 2007. 7\u201317"},{"key":"5300_CR35","first-page":"45","volume-title":"Proceedings of the 6th Annual IEEE International Conference on Pervasive Computing and Communications, Hong Kong","author":"C Xu","year":"2008","unstructured":"Xu C, Cheung S C. Decentralized constraint checking for pervasive computing. In: Proceedings of the 6th Annual IEEE International Conference on Pervasive Computing and Communications, Hong Kong, 2008. 45\u201348"},{"key":"5300_CR36","first-page":"342","volume-title":"Proceedings of 21st IEEE Asia-Pacific Software Engineering Conference, Jeju","author":"J Sui","year":"2014","unstructured":"Sui J, Xu C, Wang X, et al. GAIN: GPU-based constraint checking for context consistency. In: Proceedings of 21st IEEE Asia-Pacific Software Engineering Conference, Jeju, 2014. 342\u2013349"},{"key":"5300_CR37","first-page":"414","volume-title":"Proceedings of 21st IEEE Asia-Pacific Software Engineering Conference, Jeju","author":"W Xi","year":"2014","unstructured":"Xi W, Xu C, Yang W, et al. SHAP: suppressing the detection of inconsistency hazards by pattern learning. In: Proceedings of 21st IEEE Asia-Pacific Software Engineering Conference, Jeju, 2014. 414\u2013421"},{"key":"5300_CR38","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/s00779-003-0251-x","volume":"7","author":"A Ranganathan","year":"2003","unstructured":"Ranganathan A, Campbell R H. An infrastructure for context-awareness based on first order logic. Personal Ubiq Comput, 2003, 7: 353\u2013364","journal-title":"Personal Ubiq Comput"},{"key":"5300_CR39","first-page":"359","volume-title":"Proceedings of the 29th Annual International Computer Software and Applications Conference, Edinburgh","author":"P Insuk","year":"2005","unstructured":"Insuk P, Lee D, Hyun S J. A dynamic context-conflict management scheme for group-aware ubiquitous computing environments. In: Proceedings of the 29th Annual International Computer Software and Applications Conference, Edinburgh, 2005. 359\u2013364"},{"key":"5300_CR40","first-page":"193","volume-title":"Proceedings of the 6th International Conference on Quality Software, Beijing","author":"Y Bu","year":"2006","unstructured":"Bu Y, Gu T, Tao X, et al. Managing quality of context in pervasive computing. In: Proceedings of the 6th International Conference on Quality Software, Beijing, 2006. 193\u2013200"},{"key":"5300_CR41","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1109\/TKDE.2003.1161596","volume":"15","author":"J Chomicki","year":"2003","unstructured":"Chomicki J, Lobo J, Naqvi S. Conflict resolution using logic programming. IEEE Trans Knowl Data Eng, 2003, 15: 244\u2013249","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"5300_CR42","first-page":"713","volume-title":"Proceedings of the 28th International Conference on Distributed Computing Systems, Beijing","author":"C Xu","year":"2008","unstructured":"Xu C, Cheung S C, Chan W K, et al. Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications. In: Proceedings of the 28th International Conference on Distributed Computing Systems, Beijing, 2008. 713\u2013721"},{"key":"5300_CR43","first-page":"569","volume-title":"Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Dubrovnik","author":"C Xu","year":"2007","unstructured":"Xu C, Cheung S C, Chan W K, et al. On impact-oriented automatic resolution of pervasive context inconsistency. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Dubrovnik, 2007. 569\u2013572"},{"key":"5300_CR44","first-page":"285","volume-title":"Proceedings of the 8th ICST International Conference on Mobile and Ubiquitous Systems, Copenhagen","author":"C Xu","year":"2011","unstructured":"Xu C, Ma X, Cao C, et al. Minimizing the side effect of context inconsistency resolution for ubiquitous computing. In: Proceedings of the 8th ICST International Conference on Mobile and Ubiquitous Systems, Copenhagen, 2011. 285\u2013297"},{"key":"5300_CR45","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/PERCOM.2011.5767574","volume-title":"Proceedings of 2011 IEEE International Conference on Pervasive Computing and Communications, Seattle","author":"C Chen","year":"2011","unstructured":"Chen C, Ye C, Jacobsen H A. Hybrid context inconsistency resolution for context-aware services. In: Proceedings of 2011 IEEE International Conference on Pervasive Computing and Communications, Seattle, 2011. 10\u201319"},{"key":"5300_CR46","first-page":"632","volume-title":"Proceedings of the 36th Annual International Computer Software and Applications Conference, Izmir","author":"H Yang","year":"2012","unstructured":"Yang H, Xu C, Ma X, et al. ConsView: towards application-specific consistent context views. In: Proceedings of the 36th Annual International Computer Software and Applications Conference, Izmir, 2012. 632\u2013637"},{"key":"5300_CR47","first-page":"592","volume-title":"Proceedings of IEEE\/ACM 28th International Conference on Automated Software Engineering, Palo Alto","author":"C Xu","year":"2013","unstructured":"Xu C, Yang W, Ma X, et al. Environment rematching: toward dependability improvement for self-adaptive applications. In: Proceedings of IEEE\/ACM 28th International Conference on Automated Software Engineering, Palo Alto, 2013. 592\u2013597"},{"key":"5300_CR48","first-page":"154","volume-title":"Proceedings of the IEEE\/IFIP 8th International Conference on Embedded and Ubiquitous Computing, Hong Kong","author":"Y Zhao","year":"2010","unstructured":"Zhao Y, Cheung S C, Ni L M. LocaToR: locating passive RFID tags with the relative neighborhood graph. In: Proceedings of the IEEE\/IFIP 8th International Conference on Embedded and Ubiquitous Computing, Hong Kong, 2010. 154\u2013161"},{"key":"5300_CR49","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2541534.2541590","volume-title":"Proceedings of the 2013 Middleware Doctoral Symposium, Beijing","author":"W Yang","year":"2013","unstructured":"Yang W, Xu C, Zhang L. IDEA: improving dependability for self-adaptive applications. In: Proceedings of the 2013 Middleware Doctoral Symposium, Beijing, 2013. 1\u20136"},{"key":"5300_CR50","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/1453101.1453136","volume-title":"Proceedings of the 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Atlanta","author":"M Sama","year":"2008","unstructured":"Sama M, Rosenblum D S, Wang Z, et al. Model-based fault detection in context-aware adaptive applications. In: Proceedings of the 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Atlanta, 2008. 261\u2013271"},{"key":"5300_CR51","first-page":"1","volume-title":"Proceedings of the 4th Asia-Pacific Symposium on Internetware, Qingdao","author":"C Xu","year":"2012","unstructured":"Xu C, Cheung S C, Ma X, et al. Dynamic fault detection in context-aware adaptation. In: Proceedings of the 4th Asia-Pacific Symposium on Internetware, Qingdao, 2012. 1\u201310"},{"key":"5300_CR52","first-page":"85","volume":"7","author":"C Xu","year":"2013","unstructured":"Xu C, Cheung S C, Ma X, et al. Detecting faults in context-aware adaptation. Int J Softw Inf, 2013, 7: 85\u2013111","journal-title":"Int J Softw Inf"},{"key":"5300_CR53","first-page":"92","volume-title":"Proceedings of the 35th International Conference on Software engineering, San Francisco","author":"S Hao","year":"2013","unstructured":"Hao S, Li D, Halfond W G J, et al. Estimating mobile application energy consumption using program analysis. In: Proceedings of the 35th International Conference on Software engineering, San Francisco, 2013. 92\u2013101"},{"key":"5300_CR54","first-page":"2","volume-title":"Proceedings of 2013 IEEE International Conference on Pervasive Computing and Communications, San Diego","author":"Y Liu","year":"2013","unstructured":"Liu Y, Xu C, Cheung S C. Where has my battery gone? Finding sensor related energy black holes in smartphone applications. In: Proceedings of 2013 IEEE International Conference on Pervasive Computing and Communications, San Diego, 2013. 2\u201310"},{"key":"5300_CR55","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/1966445.1966460","volume-title":"Proceedings of the 6th European Conference on Computer Systems, Amsterdam","author":"A Pathak","year":"2011","unstructured":"Pathak A, Hu Y C, Zhang M, et al. Fine-grained power modeling for smartphones using system call tracing. In: Proceedings of the 6th European Conference on Computer Systems, Amsterdam, 2011. 153\u2013168"},{"key":"5300_CR56","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1145\/1378600.1378627","volume-title":"Proceedings of the 6th International Conference on Mobile Systems, Applications, and Services, Breckenridge","author":"H Kim","year":"2008","unstructured":"Kim H, Smith J, Shin K G. Detecting energy-greedy anomalies and mobile malware variants. In: Proceedings of the 6th International Conference on Mobile Systems, Applications, and Services, Breckenridge, 2008. 239\u2013252"},{"key":"5300_CR57","first-page":"1","volume-title":"Proceedings of the 25th ACM SIGPLAN Conference on Programming Language Design and Implementation, Washington","author":"T A Henzinger","year":"2004","unstructured":"Henzinger T A, Jhala R, Majumdar R. Race checking by context inference. In: Proceedings of the 25th ACM SIGPLAN Conference on Programming Language Design and Implementation, Washington, 2004. 1\u201313"},{"key":"5300_CR58","doi-asserted-by":"crossref","first-page":"744","DOI":"10.1109\/TPDS.2011.176","volume":"23","author":"Y Huang","year":"2012","unstructured":"Huang Y, Yang Y, Cao J, et al. Runtime detection of the concurrency property in asynchronous pervasive computing environments. IEEE Trans Parall Distrib Syst, 2012, 23: 744\u2013750","journal-title":"IEEE Trans Parall Distrib Syst"},{"key":"5300_CR59","first-page":"235","volume-title":"Proceedings of the 32nd International Conference on Software Engineering, Cape Town","author":"Z Lai","year":"2010","unstructured":"Lai Z, Cheung S C, Chan W K. Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. In: Proceedings of the 32nd International Conference on Software Engineering, Cape Town, 2010. 235\u2013244"},{"key":"5300_CR60","first-page":"334","volume-title":"Proceedings of the 33rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston","author":"M Vaziri","year":"2006","unstructured":"Vaziri M, Tip F, Dolby J. Associating synchronization constraints with data in an object-oriented language. In: Proceedings of the 33rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, 2006. 334\u2013345"},{"key":"5300_CR61","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1145\/1806596.1806617","volume-title":"Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto","author":"G Xu","year":"2010","unstructured":"Xu G, Mitchell N, Arnold M, et al. Finding low-utility data structures. In: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, 2010. 174\u2013186"},{"key":"5300_CR62","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1145\/1453101.1453115","volume-title":"Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Atlanta","author":"Z Lai","year":"2008","unstructured":"Lai Z, Cheung S C, Chan W K. Inter-context control-flow and data-flow test adequacy criteria for nesc applications. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Atlanta, 2008. 94\u2013104"},{"key":"5300_CR63","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1145\/1181775.1181805","volume-title":"Proceedings of the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Portland","author":"H Lu","year":"2006","unstructured":"Lu H, Chan W, Tse T. Testing context-aware middleware-centric programs: a data flow approach and a RFID-based experimentation. In: Proceedings of the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Portland, 2006. 242\u2013252"},{"key":"5300_CR64","first-page":"61","volume-title":"Proceedings of the 30th International Conference on Software Engineering, Leipzig","author":"H Lu","year":"2008","unstructured":"Lu H, Chan W, Tse T. Testing pervasive software in the presence of context inconsistency resolution services. In: Proceedings of the 30th International Conference on Software Engineering, Leipzig, 2008. 61\u201370"},{"key":"5300_CR65","first-page":"234","volume-title":"Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, Szeged","author":"N Esfahani","year":"2011","unstructured":"Esfahani N, Kouroshfar E, Malek S. Taming uncertainty in self-adaptive software. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, Szeged, 2011. 234\u2013244"},{"key":"5300_CR66","first-page":"646","volume-title":"Proceedings of the 26th IEEE\/ACM International Conference on Automated Software Engineering, Lawrence","author":"N Esfahani","year":"2011","unstructured":"Esfahani N. A framework for managing uncertainty in self-adaptive software systems. In: Proceedings of the 26th IEEE\/ACM International Conference on Automated Software Engineering, Lawrence, 2011. 646\u2013650"},{"key":"5300_CR67","first-page":"33","volume-title":"Proceedings of the 2013 International Conference on Software Engineering, San Francisco","author":"C Ghezzi","year":"2013","unstructured":"Ghezzi C, Pinto L S, Spoletini P, et al. Managing non-functional uncertainty via model-driven adaptivity. In: Proceedings of the 2013 International Conference on Software Engineering, San Francisco, 2013. 33\u201342"},{"key":"5300_CR68","first-page":"573","volume-title":"Proceedings of the 2012 International Conference on Software Engineering, Zurich","author":"M Famelis","year":"2012","unstructured":"Famelis M, Salay R, Chechik M. Partial models: towards modeling and reasoning with uncertainty. In: Proceedings of the 2012 International Conference on Software Engineering, Zurich, 2012. 573\u2013583"},{"key":"5300_CR69","doi-asserted-by":"crossref","first-page":"854","DOI":"10.1016\/j.jss.2012.11.055","volume":"86","author":"Y Liu","year":"2013","unstructured":"Liu Y, Xu C, Cheung S C. AFChecker: effective model checking for context-aware adaptive applications. J Syst Softw, 2013, 86: 854\u2013867","journal-title":"J Syst Softw"},{"key":"5300_CR70","first-page":"184","volume-title":"Proceedings of 19th IEEE Asia-Pacific Software Engineering Conference, Hong Kong","author":"L Zhang","year":"2012","unstructured":"Zhang L, Xu C, Ma X, et al. Resynchronizing model-based self-adaptive systems with environments. In: Proceedings of 19th IEEE Asia-Pacific Software Engineering Conference, Hong Kong, 2012. 184\u2013193"},{"key":"5300_CR71","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1007\/978-3-642-04425-0_36","volume-title":"Model Driven Engineering Languages and Systems","author":"B H C Cheng","year":"2009","unstructured":"Cheng B H C, Sawyer P, Bencomo N, et al. A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Sch\u00fcrr A, Selic B, eds. Model Driven Engineering Languages and Systems. Berlin\/Heidelberg: Springer, 2009. 468\u2013483"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-5300-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/article\/10.1007\/s11432-015-5300-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-5300-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,3]],"date-time":"2022-05-03T17:53:04Z","timestamp":1651600384000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/s11432-015-5300-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,23]]},"references-count":71,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["5300"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/s11432-015-5300-3","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,23]]}}}