MC/DC based estimation and detection of residual faults in PLC logic networks
Peter G Bishop · City Research Online (City University London) · 2003
A logic coverage measure related to MC/DC testing is used to estimate residual faults. The residual fault prediction method is evaluated on an industrial PLC logic example. A randomized form of MC/DC testing is used to maximize coverage growth and fault detection efficiency.