Failure Size Proportional Models and an Analysis of Failure Detection Abilities of Software Testing Strategies | IEEE Journals & Magazine | IEEE Xplore