Testing Web Service Orchestrators in Context: A Symbolic Approach.

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli

Browse the full SEFM paper archive.