Clarifying the record on testability cost functions | IEEE Journals & Magazine | IEEE Xplore