SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

The Software Engineering Group

elsie avatar
elsie
5 diapositives · 181 Views · Jul 26, 2014

Delve into program testing, debugging, and analysis across novel application areas like object-oriented software and service-oriented programs. Explore groundbreaking research in software testing, pervasive computing, and more. Discover the outputs from prominent publications and the achievements of selected PhD graduates.

The Software Engineering Group - slide 1
01 / 5The Software Engineering Group
1 / 17

Télécharger la présentation

The Software Engineering Group
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. 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.

  2. 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.

  3. The Software Engineering GroupResearch Areas and Outputs • Testing pervasive software • COMPSAC2004 best paper • FSE2006 • ICSE2008a • Service-oriented testing • ICSE2008b • FSE2009a.

  4. 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.

  5. 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