A powerful tool for automatic unit testing