A Markov Chain-Based Testability Growth Model With a Cost-Benefit Function | IEEE Journals & Magazine | IEEE Xplore