Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo, Alejandro Álvarez-Ayllón, Javier Santacruz. Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. In Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi, editors, Web Engineering, 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings. Volume 6189 of Lecture Notes in Computer Science, pages 531-534, Springer, 2010. [doi]
Abstract is missing.