Statically Detect Data Races for WS-BPEL Web Services by Constraint Solver.

Lei Xu Quan Sun Baowen Xu Weifeng Zhang

Published in: ICWS (2016)

Keyphrases

web services
data structure
data analysis
case study
evolutionary algorithm
data points
heuristic search