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

Lei Xu, Quan Sun, Baowen Xu, Weifeng Zhang

Browse the full ICWS paper archive.