50 likes | 161 Views
The Software Engineering Group. Prof. T.H. Tse (PhD LSE) Research Program testing, debugging, and analysis Application areas include object-oriented software, concurrent systems, pervasive computing, service-oriented applications, graphic applications, and numerical programs. .
E N D
The Software Engineering Group • Prof. T.H. Tse (PhD LSE) • Research • Program testing, debugging, and analysis • Application areas include object-oriented software, concurrent systems, pervasive computing, service-oriented applications, graphic applications, and numerical programs.
The Software Engineering GroupResearch Areas and Outputs • Software testing based on formal specifications • ACM TOSEM1988 • ACM TOSEM2001 • Communications of the ACM 2007 • IEEE TSE 2011a • Software testing based on informal specifications • IEEE TSE 2003 • Communications of the ACM 2010 • IEEE TSE 2012.
The Software Engineering GroupResearch Areas and Outputs • Testing pervasive software • COMPSAC2004 best paper • FSE2006 • ICSE2008a • Service-oriented testing • ICSE2008b • FSE2009a.
The Software Engineering GroupResearch Areas and Outputs • Software debugging • COMPSAC2008 best paper • FSE2009b • IEEE Computer 2012 • Information Sciences 2012 • Integrating testing, debugging, and proving • COMPSAC2009 best paper • QSIC2011 best paper • IEEE TSE 2011b.
The Software Engineering GroupSelected PhD Graduates • Dr W.K. Chan, Assistant Professor, City University of Hong Kong • Dr Zhenyu Zhang (2009), Associate Research Professor, Institute of Software, Chinese Academy of Sciences • Dr Lijun Mei (2010), IBM China Research Lab • Dr Bo Jiang (2011), Assistant Professor, Beihang University • Jack K. Zhai(2013), Goldman Sachs