Modular verification of web services using efficient symbolic encoding and summarization.

Fang Yu Chao Wang Aarti Gupta Tevfik Bultan

Published in: SIGSOFT FSE (2008)

Keyphrases

web services
decision trees
motion estimation
model checking
databases
information retrieval
website
database systems
service providers
cost effective
semantic web services
text summarization
face verification
modular neural networks