[SystemSafety] State of the art for "safe Linux"

[Derek M Jones]

All,

> Allende's thesis "Statistical Path Coverage for Non-Deterministic Complex
> Safety-Related Software Testing" is now available
> https://dspace.ub.uni-siegen.de/handle/ubsi/2239
> This is interesting research on estimating path coverage, that happened to
> use Linux as the vehicle for running the 28 line program (page 159) used
> to gather statement trace data.

Allende has done some interesting work that is a step up
from the usual PhD thesis, and the data he obtained looks
interesting.
On Tuesday I emailed Allende asking for a copy of his data
at his ikerlan.es address.

No response yet, not sure if I have his current address.
If anybody is in contact with Allende, please let him know
that somebody is interested in his work.

-- 
Derek M. Jones           Evidence-based software engineering
blog:https://shape-of-code.com