TAO: regular expression based high-level testability analysis and optimization | IEEE Conference Publication | IEEE Xplore