Modular verification of web services using efficient symbolic encoding and summarization

Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan. Modular verification of web services using efficient symbolic encoding and summarization. In Mary Jean Harrold, Gail C. Murphy, editors, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008. pages 192-202, ACM, 2008. [doi]

Abstract

Abstract is missing.