Adam: Identifying defects in context-aware adaptation

Journal of Systems and Software

Volumn 85, Issue 12, 2012, Pages 2812-2828

  Xu, Chang ^a   Cheung, S C ^b   Ma, Xiaoxing ^a   Cao, Chun ^a   Lu, Jian ^a  

^a NANJING UNIVERSITY   (China)

^b HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

Context aware adaptation; Defect; Error detection; Failure

Indexed keywords

ASSERTION CHECKERS; CONTEXT AWARE APPLICATIONS; CONTEXT-AWARE ADAPTATION; ENVIRONMENTAL CHANGE; ERROR INFORMATION; ERROR TYPES; RUN-TIME ERRORS; SELF-ADAPTIVE SOFTWARE;

COMPUTER APPLICATIONS; COMPUTER SYSTEM RECOVERY; ERROR DETECTION; ERRORS; MODEL CHECKING; SEMANTICS;

DEFECTS;

EID: 84867329814     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2012.04.078     Document Type: Article

References (41)

1. Locale, 2011. http://www.twofortyfouram.com/.
2. Setting Profiles, 2011. http://www.probeez.com/.
3. Tasker, 2011. http://tasker.dinglisch.net/.
4. A. Adi, and O. Etzion Amit: the situation manager VLDB Journal 13 2 2004 177 203
5. J. Agrawal, Y. Dial, D. Gyllstrom, and N. Immerman Efficient pattern matching over event streams Proceedings of the Joint ACM SIGMOD/PODS Conference Vancouver, Canada, June 2008 2008 147 160
6. J. Andersson, R.D. Lemos, S. Malek, and D. Weyns Modeling dimensions of self-adaptive software systems Software Engineering for Self-Adaptive Systems, LNCS 5525 2009 27 47
7. D. Basin, F. Klaedtke, S. Muller, and B. Pfitzmann Runtime monitoring of metric first-order temporal properties Proceedings of the IARCS Annual Conf. on Foundations of Software Technology and Theoretical Computer Science Bangalore, India, December 2008 2008 49 60
8. Y. Bu, T. Gu, X. Tao, J. Li, S. Chen, and J. Lu Managing quality of context in pervasive computing Proceedings of the 6th International Conference on Quality Software Beijing, China, October 2006 2006 193 200
9. L. Capra, W. Emmerich, and C. Mascolo CARISMA: context-aware reflective middleware system for mobile applications IEEE Transactions on Software Engineering 29 October (10) 2003 929 945
10. B.H.C. Cheng, R.D. Lemos, H. Giese, P. Inverardi, and J. Magee Software engineering for self-adaptive systems: a research roadmap Software Engineering for Self-Adaptive Systems, LNCS 5525 2009 1 26
11. J. Chomicki, J. Lobo, and S. Naqvi Conflict resolution using logic programming IEEE Transactions on Knowledge and Data Engineering 15 February (1) 2003 244 249
12. S. Dobson, S. Denazis, A. Fernandez, D. Gaiti, E. Gelenbe, and F. Massacci A survey of autonomic communications ACM Transactions Autonomous Adaptive Systems 1 December (2) 2006 223 259
13. D. Garlan, S.W. Cheng, and B. Schmerl Increasing system dependability through architecture-based self-repair. Architecting dependable systems LNCS 2677 2003 61 89
14. M. Gorbovitski, T. Rothamel, Y.A. Liu, and S.D. Stoller Efficient runtime invariant checking: a framework and case study Proceedings of the 6th International Workshop on Dynamic Analysis Seattle, Washington, USA, July 2008 2008 43 49
15. L. Grunske Specification patterns for probabilistic quality properties Proceedings of the 30th International Conference on Software Engineering Leipzig, Germany, May 2008 2008 31 40
16. Y. Huang, X. Ma, J. Cao, X. Tao, and J. Lu Concurrent event detection for asynchronous consistency checking of pervasive context Proceedings of the 7th Annual IEEE International Conference on Pervasive Computing and Communications Galveston, TX, USA, March 2009 2009 131 139
17. P. Insuk, D. Lee, and S.J. Andhyun A dynamic context-conflict management scheme for group-aware ubiquitous computing environments Proceedings of the 29th Annual International Computer Software and Applications Conference Edinburgh, UK, July 2005 2005 359 364
18. C. Julien, and G.C. Roman EgoSpaces: facilitating rapid development of context-aware mobile applications IEEE Transactions on Software Engineering 32 May (5) 2006 281 298
19. N. Khoussainova, M. Balazinska, and D. Suciu Towards correcting input data errors probabilistically using integrity constraints Proceedings of the 5th International ACM Workshop on Data Engineering for Wireless and Mobile Access Chicago, IL, USA, June 2006 2006 Article 2
20. J. Kramer, and J. Magee Self-managed systems: an architectural challenge Proceedings of Future of Software Engineering, International Conference on Software Engineering Minneapolis, MN, USA, May 2007 2007 259 268
21. D. Kulkarni, and A. Tripathi A framework for programming robust context-aware applications IEEE Transactions on Software Engineering 36 March/April (2) 2010 184 197
22. W. Le, and M.L. Soffa Path-based fault correlations Proceedings of the 18th International ACM SIGSOFT Symposium of Foundations of Software Engineering Santa Fe, NM, USA, November 2010 2010 307 316
23. H. Lu, W. Chan, and T. Tse Testing context-aware middleware-centric programs: a data flow approach and a RFID-based experimentation Proceedings of the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering Portland, OR, USA, November 2006 2006 242 252
24. H. Lu, W. Chan, and T. Tse Testing pervasive software in the presence of context inconsistency resolution services Proceedings of the 30th International Conference on Software Engineering Leipzig, Germany, May 2008 2008 61 70
25. M. Mamei, and F. Zamonelli Programming pervasive and mobile computing applications: the TOTA approach ACM Transactions on Software Engineering and Methodology 18 July (4) 2009 Article 15
26. A.K. Mok, P. Konana, G. Liu, C.G. Lee, and H. Woo Specifying timing constraints and composite events: an application in the design of electronic brokerages IEEE Transactions on Software Engineering 30 December (12) 2004 841 858
27. A.L. Murphy, G.P. Picco, and G.C. Roman LIME: a coordination model and middleware supporting mobility of hosts and agents ACM Transactions on Software Engineering and Methodology 15 July (3) 2006 279 328
28. C. Nentwich, L. Capra, W. Emmerrich, and A. Finkelstein Xlinkit: a consistency checking and smart link generation service ACM Transactions on Internet Technology 2 May (2) 2002 151 185
29. A. Ranganathan, and R.H. Campbell An infrastructure for context-awareness based on first order logic Personal and Ubiquitous Computing 7 2003 353 364
30. J. Rao, S. Doraiswamy, H. Thakkar, and L.S. Colby A deferred cleansing method for RFID data analytics Proceedings of the 32nd International Conference on Very Large Data Bases Seoul, Korea, September 2006 2006 175 186
31. M. Sama, S. Elbaum, F. Raimondi, D.S. Rosenblum, and Z. Wang Context-aware adaptive applications: fault patterns and their automated identification IEEE Transactions on Software Engineering 36 September/October (5) 2010 644 661
32. M. Sama, D.S. Rosenblum, Z. Wang, and S. Elbaum Multi-layer faults in the architectures of mobile, context-aware adaptive applications The Journal of Systems and Software 83 2010 906 914
33. Z. Wang, S. Elbaum, and D.S. Rosenblum Automated generation of context-aware tests Proceedings of the 29th International Conference on Software Engineering Minneapolis, MN, USA, May 2007 2007 406 415
34. Y. Xiong, Z. Hu, H. Zhao, H. Song, M. Takeichi, and H. Mei Supporting automatic model inconsistency fixing Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering Amsterdam, The Netherlands, August 2009 2009 315 324
35. C. Xu, and S.C. Cheung Inconsistency detection and resolution for context-aware middleware support Proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering Lisbon, Portugal, September 2005 2005 336 345
36. C. Xu, S.C. Cheung, and W.K. Chan Incremental consistency checking for pervasive context Proceedings of the 28th International Conference on Software Engineering Shanghai, China, May 2006 2006 292 301
37. C. Xu, S.C. Cheung, W.K. Chan, and C. Ye Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications Proceedings of the 28th International Conference on Distributed Computing Systems Beijing, China, June 2008 2008 713 721
38. C. Xu, S.C. Cheung, W.K. Chan, and C. Ye Partial constraint checking for context consistency in pervasive computing ACM Transactions on Software Engineering and Methodology 19 January (3) 2010 1 61 Article 9
39. C. Xu, X. Ma, C. Cao, and J. Lu Minimizing the side effect of context inconsistency resolution for ubiquitous computing Proceedings of the 8th ICST International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2011), LNICST 104 Copenhagen, Denmark, Dec 2011 2011 285 297
40. J. Zhang, and B.H.C. Cheng Model-based development of dynamically adaptive software Proceedings of the 28th International Conference on Software Engineering Shanghai, China, May 2006 2006 371 380
41. J. Zhang, and B.H.C. Cheng Using temporal logic to specify adaptive program semantics The Journal of Systems and Software 79 2006 1361 1369