IEEE

An Open-Source Structural Coverage Tool for DO-178C Compliance

Abstract: This paper presents enhancements to the opensource LLVM-Cov structural coverage tool to meet DO-178C Software Level A objectives in the Linux kernel for assuring safety-critical aerospace ...
IEEE

Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests

Abstract: We examine the code generator-based MPI correctness benchmark MPI-BugBench (MBB) by analyzing the code coverage it triggers in three tools: MUST, PARCOACH, and clang-tidy. We present our ...