The Software Engineering Group Prof. T.H. Tse (PhD LSE) Research Program testing, debugging, and analysis Application areas include object-oriented software,

Slides:

Advertisements

Similar presentations

Panel Moderator: Qian Zhang Hong Kong University of Science and Technology May 2008.

Advertisements

City University of Hong Kong Master of Science in Electronic Commerce Department of Computer Science Department of Information Systems Information Session:

Software Engineering at Faculty of EE in Belgrade Prof. Dr Miroslav Bojovic Baile Herculane, August 2005.

Class Materials Dr. Catherine Dwyer Spring Catherine Dwyer Associate Professor Seidenberg School, Department of Information Technology  Full.

John Puifai Sum Assistant Professor, Institute of E- Commerce College of Social Science and Management National Chung Hsing University Taichung 40227,

Department of Computer Science, Tsinghua University Introduction to the PhD Program of the Department of Computer Science and Technology at Tsinghua.

Ethics CS 415, Software Engineering II Mark Ardis, Rose-Hulman Institute April 15, 2003.

City University of Hong Kong Master of Science in Electronic Commerce Department of Computer Science Department of Information Systems Information Session:

Ethics for Software Engineering Ethics for software engineering.

Advanced Software Engineering

Hong Kong University of Science & Technology Research & Development Hong Kong University of Science & Technology 1 Junior Faculty Recruitment and Development.

Toshihide Ibaraki  October 1985, Professor, Kyoto University  April 2001-March 2003, Dean, Graduate School of Informatics, Kyoto University  April 2004,

Eastern Mediterranean University Faculty of Engineering Wellcomes you to the Opening of the 5th Int. Conf. on Soft Computing, Computing with Words and.

C++ Workshop Introduction Prof. John Cole. Schedule Day 1: Setting up. Language basics. Day 2: Arrays and Pointers Day 3: Functions, Recursion, Algorithms.

CSU-BIPT STUDY ABROAD PROGRAM IN CHINA MAY 20 – June 4, 2014 Spend Maymester in China studying China’s contributions in technology.

IEEE Macau Section. Prof. Rui Martins, Chairman R10 Annual Meeting in Adelaide, Australia – April 16 th and 17 th 2004 EEE Activities in Macao Birth,

Inverse Problems Activities in China Jin Cheng ( 程晋 ) Fudan University.

ADRIAN DAVID CHEOK City University London College Building, Room A304J St John Street EC1V 4PB London, UK.

29 Aug 2013 (Thu), Hanoi, Vietnam 2013 Springer SEA eBooks Seminar: Speaker Profiles.

ICE0534 – Web-based Software Development ICE1338 – Programming for WWW Meeting with Dr. Raj Reddy Meeting with Dr. Raj Reddy In-Young Ko iko.AT. icu.ac.kr.

1 TECHNOLOGICAL BILATERAL COOPERATION 1 IRITEL AIS 3 PROF.DR. PREDRRAG PETROVIC FULL MEMBER OF SERBIAN ACADEMY OF ENGINNERING SCIENCES.

Professor Juin J. Liu( 劉俊傑 ) Department of Electrical and Computer Engineering University of Central Florida Research Interests: Semiconductor device modeling.

Distinguished Talk Prof. Wai Ho Mow, Senior Member of IEEE Dept. of ECE, HKUST On January 26, 2011 National Taiwan University of Science and Technology.

EMT1111 Logic and Problem Solving Dr. José M. Reyes Álamo Lecture 1.

About HKOES The Hong Kong Optical Engineering Society (HKOES), formerly the Hong Kong Chapter of the SPIE was launched on the 11th of April 2008 as a new,

COSC 150: Science Using Computation Instructor: Dr. Xenia Mountrouidou 1.

Knowledge Upon Social Media: Dialogue Between Archives and Services 14:00~15:30 December 1, 2010 Room P4704 Moderator:Ching-Teng HSIAO Research Center.

IT Education in Serbia Prof. Dr. Ivan Milentiejvic

Prof. Naoto Chatani Department of Applied Chemistry

PROV 504 NIKITHA VADDULA INTRODUCTION IMPORTANCE OF DISCIPLINE CURRENT ISSUES MAJOR ORGANIZATIONS PRE-EMINENT SCHOLARS SEMINAL WORKS CONNECTIONS.

The University of Hong Kong Computer Science. About HKU Top ranking Consistently as 1 st in Asia and top in the world Strong research faculties Our goal.

1 National Chi Nan University (NCNU). 2 Badge of NCNU The Badge of NCNU is combining a traditional Chinese crest and the University ’ Name ’ s initials.

Center for Internet and Wireless Technology at JUST JEP

School of Electrical Engineering & Computer Science National University of Sciences & Technology (NUST), Pakistan Research Profile Tahir Azim.

Dr. Ye Yang Assciate Professor, Deputy Director Lab for Internet Software Technology (iTechs) Institute of Software Chinese Academy of Sciences (ISCAS)

Distinguished Talk Dr. Jun Wang, IEEE Fellow Professor Dept. of Mechanical and Automation Engineering, The Chinese University of Hong Kong For further.

Advanced Software Engineering

Assoc. Prof. Dr. Ahmet Turan ÖZCERİT.  What is engineer,  What is Computer Engineering  The topics in Computer Engineering You will learn: 2.

2 First academic year students 600 first-year students in the last academic year 200 graduated in the last year 1600 graduated since 1996.

Complete Optimal Deployment Patterns for Full-Coverage and k-Connectivity (k ≦ 6) Wireless Sensor Networks Xiaole Bai, Dong Xuan, Ten H. Lai, Ziqiu Yun,

9/12/2013 IS Graduate Program by Jack Jiang 2013 SOC Retreat.

Electronics and Communications Section IT Fest 2016 IET Hong Kong Forum on Mobile Technology and Cloud Development in Hong Kong Date: 19 April 2016 Time:

A Use Case Based Approach to Feature Models’ Construction Jeroen Eissens

When Mobile Multimedia Meet Cloud: Challenges and Future Directions Prof. Changwen Chen IEEE Fellow and SPIE Fellow State University of New York at Buffalo,

SN department.  You will find a job  You will find a good job  Since you will learn subjects  Ranging from programming to cutting-edge development.

The Open Bluetooth Networking Game Development Platform Final Year Project Demonstration Carol & Marcus.

Computer Science Program William Paterson University.

1 Item 3 - Research and Development of High Security Remote Authentication Technology Item 3 - Research and Development of High Security Remote Authentication.

Forum on Mobile Technology and Cloud Development in Hong Kong 19 April :00 – 17:00 Hours Conference Hall 3, Hong Kong Science Park IET Hong Kong.

D ESIGNING AND E VALUATING S ERVICE - ORIENTED COLLABORATIVE DEVELOPMENT ENVIRONMENT Supervisor > M. Ali Babar Co-Supervisor > Jakob E. Bardram Paolo Tell.

Faculty of Engineering at Shoubra

BEng(CompSc) Curriculum Structure & Highlights

Faculty of Computer and Information Science

Herman Lam CEO Hong Kong Cyberport Management Company Ltd.

“Practical Tips for Effective Paper Writing”

Lecture 15: Guest Lecture Professor Gordon Wetzstein

Beihang University, China

HONG KONG UNIVERSITIES INFORMATION DAY

CTLE enabling excellence

Qin ZHANG 1 ;Yi ZHENG 1 ;Jing LIU 2 ;

Badminton Stroke Classification

Ranking Parameters of Universities in Pakistan HEC Perspective

Lecture 17: Guest Lecture Professor Gordon Wetzstein

Yan Chen 陈焰 Assistant Professor, Department of Electrical Engineering and Computer Science, Northwestern University Education Univ. of California at Berkeley,

Le Moyne College Summer Math Academy

PhD Programme Computer Science, HKBU

CSC4005 – Distributed and Parallel Computing

شیوه‌های ارائه‌ مطالب علمی و فنی نیمسال اول سال تحصیلی ۸۷/۸۸

Jiangbin Zheng’s Brief Biography

Fundamental of Artificial Intelligence (CSC3180)

Presentation transcript:

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.

 Software testing based on formal specifications ACM TOSEM 1988 ACM TOSEM 2001 Communications of the ACM 2007 IEEE TSE 2011a  Software testing based on informal specifications IEEE TSE 2003 Communications of the ACM 2010 IEEE TSE The Software Engineering Group Research Areas and Outputs

 Testing pervasive software COMPSAC 2004 best paper FSE 2006 ICSE 2008a  Service-oriented testing ICSE 2008b FSE 2009a. The Software Engineering Group Research Areas and Outputs

 Software debugging COMPSAC 2008 best paper FSE 2009b IEEE Computer 2012 Information Sciences 2012  Integrating testing, debugging, and proving COMPSAC 2009 best paper QSIC 2011 best paper IEEE TSE 2011b. The Software Engineering Group Research Areas and Outputs

 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 The Software Engineering Group Selected PhD Graduates