Automated testing is a formally specified and controlled method of formal testing approach.

or

That part of software testing that is assisted with software tool(s) that does not require operator input, analysis, or evaluation.