Also true of human-written unit tests. You probably also want to have integration or UI automation tests that cover the end-user scenarios in your product requi

Also true of human-written unit tests. You probably also want to have integration or UI automation tests that cover the end-user scenarios in your product requirements, and invariants that are checked against large numbers of examples either taken from production (sanitized of course), in a shadow environment, or generated if you absolutely must.