Working on test tool (test model generation)