Rubén Casado et al. 2013. Test case design for transactional flows using a dependency-based approach. International Journal of Computer Information Systems and Industrial Management Applications. 5, (Jan. 2013), 11.