Finished dynamic test generation