An optimal algorithm for the automatic generation of March tests | IEEE Conference Publication | IEEE Xplore