Test-Duo: A framework for generating and executing automated acceptance tests from use cases | IEEE Conference Publication | IEEE Xplore