AFChecker: Effective model checking for context-aware adaptive applications

Journal of Systems and Software

Volumn 86, Issue 3, 2013, Pages 854-867

  Liu, Yepang ^a   Xu, Chang ^b   Cheung, S C ^a  

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

^b NANJING UNIVERSITY   (China)

Author keywords

Adaptation fault; Deterministic constraint; False positive; Fault ranking; Probabilistic constraint

Indexed keywords

ADAPTATION FAULT; DETERMINISTIC CONSTRAINT; FALSE POSITIVE; FAULT RANKING; PROBABILISTIC CONSTRAINTS;

HARDWARE; SOFTWARE ENGINEERING;

MODEL CHECKING;

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

References (41)

1. R. Agrawal, T. Imieliński, and A. Swami Mining association rules between sets of items in large databases Proceedings of ACM SIGMOD International Conference on Management of Data 1993 207 216
2. E. Alpaydin Introduction to Machine Learning 2nd ed. 2010 The MIT Press Cambridge, Massachusetts/London, England
3. L. Capra, W. Emmerich, and C. Mascolo CARISMA: context-aware reflective middleware system for mobile applications IEEE Transaction on Software Engineering 29 10 2003 929 945
4. 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 Lecture Notes in Computer Science 5525 2009 1 26 http://www.springer.com/computer/swe/book/978-3-642-02160-2
5. Choco Solver, 2012. http://www.emn.fr/z-info/choco-solver/.
6. Context Phone, 2005. http://www.cs.helsinki.fi/group/context/.
7. T.M. Cover, and J.A. Thomas Elements of Information Theory 2nd ed. 2006 John Wiley and Sons Hoboken, New Jersey
8. C. Csallner, N. Tillmann, and Y. Smaragdakis DySy: dynamic symbolic execution for invariant inference Proceedings of the 30th International Conference on Software Engineering 2008 281 290
9. J. Cubo, M. Sama, F. Raimondi, and D. Rosenblum A model to design and verify context-aware adaptive service composition Proceedings of International Conference on Services Computing 2009 184 191
10. K.R. Dittrich, S. Gatziu, and A. Geppert The active database management system manifesto: a rulebase of ADBMS features Lecture Notes in Computer Science 985 1995 3 20
11. M.D. Ernst, J. Cockrell, W.G. Griswold, and D. Notkin Dynamically discovering likely program invariants to support program evolution Proceedings of International Conference on Software Engineering 1999 213 224
12. Google ADC 2 Winners, 2009. http://code.google.com/android/adc/gallery- winners.html.
13. T. Gu, H.K. Pung, and D.Q. Zhang A middleware for building context-aware mobile services IEEE Vehicular Technology Conference 5 2004 2656 2660 (Pubitemid 40391662)
14. T. Gu, H.K. Pung, and D.Q. Zhang Toward an OSGi-based infrastructure for context-aware applications IEEE Pervasive Computing 3 4 (October) 2004 66 74 (Pubitemid 40010900)
15. K. Järvelin, and J. Kekäläinen Cumulated gain-based evaluation of IR techniques ACM Transaction on Information Systems 20 4 (October) 2002 422 446 (Pubitemid 44642296)
16. C. Julien, and G.C. Roman EgoSpaces: facilitating rapid development of context-aware mobile applications IEEE Transaction Software Engineering 32 5 (May) 2006 281 298 (Pubitemid 46405071)
17. T. Kremenek, and D. Engler Z-ranking: using statistical analysis to counter the impact of static analysis approximations Proceedings of the 10th International Conference on Static Analysis 2003 295 315
18. T. Kremenek, K. Ashcraft, J. Yang, and D. Engler Correlation exploitation in error ranking Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2004 83 93 (Pubitemid 40787570)
19. Locale, 2012. http://www.twofortyfouram.com/.
20. 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 (Pubitemid 47129401)
21. 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 2008 61 70 May 2008
22. Omnidroid, 2012. http://code.google.com/p/omnidroid/.
23. PhoneAdapter, 2012. http://www.cse.ust.hk/∼andrewust/phoneadapter. html.
24. Rule Discussion, 2012a. http://tasker.wikidot. com/muteinmeetings.
25. Rule Discussion, 2012b. http://tasker.dinglisch. net/tour.html.
26. Rule Discussion, 2012c. http://tasker.wikidot.com/sleepmode.
27. Rule Discussion, 2012d. http://groups. google.com/group/tasker/browse- thread/thread/6fa6398ec69f086c.
28. Rule Discussion, 2012e. http://groups. google.com/group/tasker/browse- thread/thread/4ca7f88bf8bb0ae1.
29. M. Sama, D.S. Rosenblum, Z. Wang, and S. Elbaum Model-based fault detection in context-aware adaptive applications Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2008 261 271
30. 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 5 (September/October) 2010 644 661
31. 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 2010 906 914
32. SweetDreams, 2012. https://market.android.com/details?id=com.inizz.
33. Tasker, 2012. http://tasker.dinglisch.net.
34. Tasker Limitations, 2012. http://tasker.dinglisch.net/bugs.html.
35. T.H. Tse, S.S. Yau, W.K. Chan, H. Lu, and T.Y. Chen Testing context-sensitive middleware-based software applications Proceedings of the 28th Annual International Computer Software and Applications Conference, vol. 1 2004 458 466 (Pubitemid 40673893)
36. 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 (Pubitemid 47430675)
37. M. Weiser The computer for the 21st century SIGMOBILE Mobile Computing Communications Review 1999 3 11
38. 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 (Pubitemid 43218844)
39. C. Xu, S.C. Cheung, C. Lo, and K.C. Leung Cabot: on the ontology for the middleware support of context-aware pervasive applications IFIP Workshop on Building Intelligent Sensor Networks 2004
40. 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 3 (January) 2010 1 61 Article 9
41. C. Xu, S.C. Cheung, X. Ma, C. Cao, and J. Lu ADAM: identifying defects in context-aware adaptation The Journal of Systems and Software 85 12 2012 2812 2828 (Dec)