Transforming Workflow Models into Automated End-to-End Acceptance Test Cases | IEEE Conference Publication | IEEE Xplore