Automated Functional Conformance Test Generation for Semantic Web Services. - Amit M. Paradkar; Avik Sinha; Clay Williams; Robert D. Johnson; Susan Outterson; Charles Shriver; Carol Liang (ICWS, 2007)