Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
The context toolkit: aiding the development of context-enabled applications
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Reconfigurable Context-Sensitive Middleware for Pervasive Computing
IEEE Pervasive Computing
Replay and Testing for Concurrent Programs
IEEE Software
Gaia: a middleware platform for active spaces
ACM SIGMOBILE Mobile Computing and Communications Review
Advanced Lectures on Networking, NETWORKING 2002 [This book presents the revised version of seven tutorials given at the NETWORKING 2002 Conference in Pisa, Italy in May 2002]
Tool Support for Testing Concurrent Java Components
IEEE Transactions on Software Engineering
GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Modelling and Using Imperfect Context Information
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Testing Context-Sensitive Middleware-Based Software Applications
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Context for Ubiquitous Data Management
UDM '05 Proceedings of the International Workshop on Ubiquitous Data Management
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications
IEEE Transactions on Software Engineering
A Testing Framework for Mobile Computing Software
IEEE Transactions on Software Engineering
Multithreaded java program test generation
IBM Systems Journal
GREEN: a configurable and re-configurable publish-subscribe middleware for pervasive computing
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Using inter-procedural side-effect information in JIT optimizations
CC'05 Proceedings of the 14th international conference on Compiler Construction
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
Proceedings of the 1st international workshop on Software architectures and mobility
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Model-based fault detection in context-aware adaptive applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
General method for testing context aware applications
MUCS '09 Proceedings of the 6th international workshop on Managing ubiquitous communications and services
A study on the replaceability of context-aware middleware
Proceedings of the First Asia-Pacific Symposium on Internetware
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multi-layer faults in the architectures of mobile, context-aware adaptive applications
Journal of Systems and Software
Approximation algorithm for the kinetic robust K-center problem
Computational Geometry: Theory and Applications
Inferring test results for dynamic software product lines
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
A Generative Programming Framework for Context-Aware CSCW Applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Use cases for context aware model-checking
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Amplifying tests to validate exception handling code
Proceedings of the 34th International Conference on Software Engineering
Journal of Ambient Intelligence and Smart Environments - A software engineering perspective on smart applications for AmI
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
Dynamic fault detection in context-aware adaptation
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
AFChecker: Effective model checking for context-aware adaptive applications
Journal of Systems and Software
IDEA: improving dependability for self-adaptive applications
Proceedings of the 2013 Middleware Doctoral Symposium
An approach to testing commercial embedded systems
Journal of Systems and Software
Hi-index | 0.00 |
The incorporation of context-awareness capabilities into pervasive applications allows them to leverage contextual information to provide additional services while maintaining an acceptable quality of service. These added capabilities, however, introduce a distinct input space that can affect the behavior of these applications at any point during their execution, making their validation quite challenging. In this paper, we introduce an approach to improve the test suite of a context-aware application by identifying context-aware program points where context changes may affect the application's behavior, and by systematically manipulating the context data fed into the application to increase its exposure to potentially valuable context variations. Preliminary results indicate that the approach is more powerful than existing testing approaches used on this type of application.