A Framework for Dynamic Validation of Context-Aware Applications | IEEE Conference Publication | IEEE Xplore