Testing Non-Functional Requirements with Aspects: An Industrial Case Study | IEEE Conference Publication | IEEE Xplore