Amit M. Paradkar, Avik Sinha. Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. In Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria, editors, Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings. Volume 5364 of Lecture Notes in Computer Science, pages 551-557, 2008. [doi]
Abstract is missing.