Automatically generating types by running tests

Automated Testing