A generic model-based test case generator | IEEE Conference Publication | IEEE Xplore