Improving Fault Localization Using Model-domain Synthesized Failing Test Generation | IEEE Conference Publication | IEEE Xplore