test generation module