Reasoning about software architecture-based regression testing through a case study | IEEE Conference Publication | IEEE Xplore