Generating Test Cases for Context-Aware Applications Using Bigraphs | IEEE Conference Publication | IEEE Xplore