A Unified Approach to Automatic Testing of Architectural Constraints | IEEE Conference Publication | IEEE Xplore