Fault detection for OSPF based E-NNI routing with probabilistic testing algorithm | IEEE Conference Publication | IEEE Xplore