![]() | ![]() |
| 2011 | ||
|---|---|---|
| 4 | Mohamed Elwakil, Zijiang Yang: Deterministic replay for MCAPI programs. PADTAD 2011: 6-14 | |
| 2010 | ||
| 3 | Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen: Message Race Detection for Web Services by an SMT-Based Analysis. ATC 2010: 182-194 | |
| 2 | Mohamed Elwakil, Zijiang Yang, Liqiang Wang: CRI: Symbolic Debugger for MCAPI Applications. ATVA 2010: 353-358 | |
| 1 | Mohamed Elwakil, Zijiang Yang: Debugging support tool for MCAPI applications. PDATAD 2010: 20-25 | |
| 1 | Qichang Chen | [3] |
| 2 | Liqiang Wang | [2] [3] |
| 3 | Zijiang Yang | [1] [2] [3] [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page