In practice it's pretty much impossible to get precise requirements without automatically learning them from how the application performed in the past.

The problem is that it is high-risk to automatically perform those changes since they might affect the application in ways you do not expect.