Extensions to an approach to the modeling of software testing with some performance comparisons | IEEE Journals & Magazine | IEEE Xplore