Testability: the state of the art-automatic testing in the next decade and the 21st century | IEEE Conference Publication | IEEE Xplore