TestCov - Test Suite Validator

We present TestCov, a tool for robust test-suite
execution and test-coverage measurement on C programs.
TestCov executes program tests in isolated containers to
ensure system integrity and reliable resource control. The
tool provides coverage statistics per test and for the whole
test suite. TestCov uses the simple, XML-based exchange
format for test-suite specifications that was established as
standard by Test-Comp. TestCov has been successfully
used in Test-Comp.