<https://www.softwareverify.com/tutorial/coverage-validator-tutorial-getting-code-coverage-for-a-statically-linked-library/>
<http://schema.org/name>
"Coverage Validator Tutorial - Getting code coverage for a statically linked library | Software Verify"
<https://www.softwareverify.com/tutorial/coverage-validator-tutorial-getting-code-coverage-for-a-statically-linked-library/>