Testability implemented in the VAX 6000 model 400 | IEEE Conference Publication | IEEE Xplore