The tenth type could be mutation testing, where the quality of the test suite is evaluated against random changes in the application code.