Mark explains what code coverage is for

2014-07-15

(Click image to enlarge)

Mitigation of interference in multicore processors for A(M)C 20-193

Developing DO-178C and ED-12C-certifiable multicore software

Efficient Verification Through the DO-178C Life Cycle

A Commercial Solution for Safety-Critical Multicore Timing Analysis

How do I demonstrate the safe use of instrumented source code analysis?

.

2015-08-21

Breaking the switch statement

.

2015-06-12

What are the overheads of code coverage? Using "Doom" as an example

.

2015-05-01

Does DO-178C require object code structural coverage?

.

2014-11-21

Industry leading verification tools & services