An Observability Branch Coverage Metric Based on Dynamic Factored Use-Define Chains | IEEE Conference Publication | IEEE Xplore