Fault Localization and Test Oracle Generation Based on the Mutual Pattern of Discrete Path Variables | IEEE Conference Publication | IEEE Xplore