Visual Requirements Specification and Automated Test Generation for Digital Applications | IEEE Conference Publication | IEEE Xplore