Solving the Unsolvable Problems in Test Automation