how to use automatic test generators