A knowledge-based test program following the ATML standard | IEEE Conference Publication | IEEE Xplore