Contract-based test generation for data flow of business processes using constraint programming | Publicación