A Novel Model-Driven Framework for Software and System Testing | IEEE Conference Publication | IEEE Xplore