Message Race Detection for Web Services by an SMT-Based Analysis.

Mohamed Elwakil Zijiang Yang Liqiang Wang Qichang Chen

Published in: ATC (2010)

Keyphrases

web services
data analysis
machine learning
genetic algorithm
language model
automatic detection
automatic analysis