CERTUS will use an automated intelligent algorithm that selects the most valuable tests from the problem space, resulting in a more comprehensive and efficient validation and verification process. Search space optimization techniques can then be applied to identify areas of uncertainty in performance, bolstered by test oracles and risk quantification to support CAM developers using this approach to make data-driven decisions as to when they have achieved sufficient confidence in their systems' performance for commercial deployment.

• Automated intelligent algorithm that selects the most valuable tests
• Novel search space optimization techniques
• Evaluation via oracles enabling holistic assessment