<https://www.softwareverify.com/tutorial/coverage-validator-tutorial-getting-code-coverage-for-a-statically-linked-library/>
<http://schema.org/datePublished>
"2023-03-21T17:50:51+00:00"^^<http://schema.org/Date>
<https://www.softwareverify.com/tutorial/coverage-validator-tutorial-getting-code-coverage-for-a-statically-linked-library/>