A Novel Test Generation Methodology for Adaptive Diagnosis | IEEE Conference Publication | IEEE Xplore