Knowledge based automatic testing of microprocessor based systems (KBAT) | IEEE Conference Publication | IEEE Xplore