Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.

Amit M. Paradkar, Avik Sinha

Browse the full ICSOC paper archive.