Test generation from functional 3D virtual environment models - Kumar, Barath; Drath, Rainer; Schroeder, Ben; Jasperneite, Jürgen