Test generation from functional 3D virtual environment models
B. Kumar, R. Drath, B. Schroeder, J. Jasperneite, in: 2014.