An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Some computer science issues in ubiquitous computing
Communications of the ACM - Special issue on computer augmented environments: back to the real world
A simplified domain-testing strategy
ACM Transactions on Software Engineering and Methodology (TOSEM)
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Proceedings of the 21st international conference on Software engineering
Supporting CORBA applications in a mobile environment
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
Charting past, present, and future research in ubiquitous computing
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 1
Integrating context information into enterprise applications for the mobile workforce - a case study
WMC '01 Proceedings of the 1st international workshop on Mobile commerce
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
XMIDDLE: A Data-Sharing Middleware for Mobile Computing
Wireless Personal Communications: An International Journal
Reconfigurable Context-Sensitive Middleware for Pervasive Computing
IEEE Pervasive Computing
Engineering Mobile Agent Applications via Context-Dependent Coordination
IEEE Transactions on Software Engineering
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Development of Situation-Aware Application Software for Ubiquitous Computing Environment
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Metamorphic Testing of Programs on Partial Differential Equations: A Case Study
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs
PDSE '99 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Designing mobile commerce applications
Communications of the ACM - Mobile computing opportunities and challenges
An application of a context-aware file system
Personal and Ubiquitous Computing
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multimodal processing by finding common cause
Communications of the ACM - Multimodal interfaces that flex, adapt, and persist
Journal of Systems and Software - Special issue: Ubiquitous computing
IBM Systems Journal
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering
MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing
IEEE Transactions on Software Engineering
Context-Aware Middleware for Resource Management in the Wireless Internet
IEEE Transactions on Software Engineering
Experiences in coverage testing of a Java middleware
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
An empirical comparison between direct and indirect test result checking approaches
Proceedings of the 3rd international workshop on Software quality assurance
Automated Generation of Context-Aware Tests
ICSE '07 Proceedings of the 29th international conference on Software Engineering
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
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
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Developing context-aware pervasive computing applications: Models and approach
Pervasive and Mobile Computing
Towards the testing of power-aware software applications for wireless sensor networks
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Testing and validating machine learning classifiers by metamorphic testing
Journal of Systems and Software
A web search-centric approach to recommender systems with URLs as minimal user contexts
Journal of Systems and Software
AFChecker: Effective model checking for context-aware adaptive applications
Journal of Systems and Software
An approach to testing commercial embedded systems
Journal of Systems and Software
Hi-index | 0.00 |
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves according to the situational attributes of their environments, known as the "contexts". The actual process of accessing and updating the contexts lies with the middleware. The latter invokes the relevant local and remote operations whenever any context inscribed in the situation-aware interface is satisfied. Since the applications operate in a highly dynamic environment, the testing of context-sensitive software is challenging. Metamorphic testing is a property-based testing strategy. It recommends that, even if a test case does not reveal any failure, follow-up test cases should be further constructed from the original to check whether the software satisfies some necessary conditions of the problem to be implemented. This paper proposes to use isotropic properties of contexts as metamorphic relations for testing context-sensitive software. For instance, distinct points on the same isotropic curve of contexts would entail comparable responses by the components. This notion of testing context relations is novel, robust, and intuitive to users.