An approach for Model-Driven test generation | IEEE Conference Publication | IEEE Xplore