At wega, there are many activities related to software validation. The aim is to provide formal proof of the proper functioning of applications. This is a 'must', especially in regulated pharmaceutical environments, in order to be allowed to use the application.
One of the activities in this validation process is the manual execution of test scripts and thus following precisely defined test steps in the system to be validated. These scripts are page-long instructions that have to be executed very precisely step by step.
Thinking about what can and cannot be automated, and where machines are better than humans, opened up a new and fascinating way of testing. We also began to understand the difference between testing and checking, as described on tutorialspoint, for example.
You can find the whole article here.