Contract-based test generation for data flow of business processes using constraint programming.

Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca

Browse the full RCIS paper archive.