Login / Signup
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