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

Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen

Browse the full ATC paper archive.