Recovering Workflows from Functional Tests | IEEE Conference Publication | IEEE Xplore