Using automated tests for communicating and verifying non-functional requirements | IEEE Conference Publication | IEEE Xplore