Some new models of software testing with performance comparisons | IEEE Journals & Magazine | IEEE Xplore