Developing acceptance tests from existing documentation using annotations: An experiment | IEEE Conference Publication | IEEE Xplore