At wega, there are many activities around software validation. This is about creating a formal proof for the proper functioning of applications. This is a 'must' especially in regulated pharmaceutical environments to be allowed to use the application.
One of the activities in this validation process is the manual execution of test scripts and thus the following of precisely defined test steps in the system to be validated. These scripts are page-long instructions that must 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 for us. We also started to understand the difference between testing and checking, as described for example on tutorialspoint.
You can find the full article here.