A novel diagnostic test generation methodology and its application in production failure isolation | IEEE Conference Publication | IEEE Xplore