Mohamed Elwakil

	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

Coauthor Index

1	Qichang Chen	[3]
2	Liqiang Wang	[2] [3]
3	Zijiang Yang	[1] [2] [3] [4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page