[SystemSafety] Faults dependent on system state

[Derek M Jones]

All,

The SQLite database is tested with 1.7 million tests
that provides 100% branch test coverage and
100% MC/DC test coverage.  And yet still contains
coding mistakes which generate fault experiences.

The authors of this paper show how some faults will
only be experienced in a given system state (which
databases have lots of).

https://www.usenix.org/system/files/osdi20-rigger.pdf


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