Nikolai Tillmann, Jonathan de Halleux. White-box testing of behavioral web service contracts with Pex. In Tevfik Bultan, Tao Xie, editors, Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, US. pages 47-48, ACM, 2008. [doi]
Abstract is missing.