Functional safety certifications require proof of code coverage for the entire source code, including all variants. ‘Hyper-coverage’ can help to detect untested code, suggests Michael Wittner, ...