In this study, a module of 579 lines was instrumented for branch and situation coverage and then examined with the objective of reaching MCDC requirements specified by the Federal Aviation Administration. Initial checks obtained outcomes similar to those in Ref. [49], with roughly 75% statement protection, 71% branch coverage, and 68% MCDC protection. However, full […]