Tosca defines test cases by scanning the applications. The automation model includes automation logic for decoupling the test logic as specified as a test case. Once the required models are defined, they can be used to execute both automated and manual test cases with input & verification data.