Analysis of the Subsume Relation between Software Architecture Testing Criteria | IEEE Conference Publication | IEEE Xplore