Proven - An output function or failure mode is considered "proven" when it is removed from suspicion after a given test has passed. Fault Detection metrics based on "proven" elements are sometimes referred to as "minimum detected" within eXpress, since they tend to utilize elements in the test's coverage, but not those involved with interference (see also: minimum and maximum fault detection).
