TIGER: testability insertion guidance expert system | IEEE Conference Publication | IEEE Xplore