Xianghua Deng

发表

Patrice Chalin, John Hatcliff, Robby, 2011, SIGAda.
Matthew B. Dwyer, John Hatcliff, Georg Jung, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Masaaki Mizuno, Matthew B. Dwyer, John Hatcliff, 2004, TACAS.
Patrice Chalin, John Hatcliff, Robby, 2012, NASA Formal Methods.
Matthew B. Dwyer, Gurdip Singh, John Hatcliff, 2002, FMCO.
Patrice Chalin, John Hatcliff, Robby, 2011, NASA Formal Methods.
John Hatcliff, Robby, Xianghua Deng, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Xianghua Deng, Thang Nguyen Bui, Catherine M. Zrncic, 2012, IEEE Transactions on Evolutionary Computation.
Jooyong Yi, Robby, Xianghua Deng, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
John Hatcliff, Robby, Xianghua Deng, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Matthew B. Dwyer, John Hatcliff, Robby, 2003, EMSOFT.
Jooyong Yi, Robby, Xianghua Deng, 2012, Automated Software Engineering.
Robby, Xianghua Deng, J. Hatcliff, 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).