Author here, great link—thanks! Do you know of any coverage tools that implement this?
For C/C++, and various code generation from state description tools like matlab/simulink, specific in the auto/aircraft/safety industries, I won't mention by name here, but no FOSS.
Anyway, I think about this stuff all the time and really enjoyed your article, thanks for writing it, it doesn't seem to be a very popular topic to write in such depth. Thanks again!