Towards an approach and framework for test-execution plan derivation | IEEE Conference Publication | IEEE Xplore