Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation.

Manuel Palomo-Duarte, Antonio Garca-Domnguez, Inmaculada Medina-Bulo, Alejandro lvarez-Aylln, Javier Santacruz

Browse the full ICWE paper archive.