Here you will find the code for the unit test generator for the BETA tool. More information about the tool can be found on the website www.beta-tool.info.