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 ...
NEW YORK/ST GALLEN - Sportradar AG (NASDAQ:SRAD), a sports technology firm with a market capitalization of $5.08 billion that currently appears undervalued according to InvestingPro analysis, has ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results