Dependency-based criteria for testing web services transactional workflows | IEEE Conference Publication | IEEE Xplore