Hong Kong RGC GRF (formerly known as CERG) Grants

1. CACTES: a formal framework for CompositionAl Conformance TEsting of Service compositions (Project No. 717308, $491,906, Sep 2008- Aug 2011, Co-I)

2. Data-centric Testing for Pervasive Middleware-based Programs  (Project No. 111107, $421,300, Jul 2007- Jun 2009, PI)

3. Automatic Fault Localization for Wireless Sensor Network Software Applications: a Statistical Fault Divergence Approach (Project No. 716507, $648,000, Sep 2007- Aug 2010, Co-I)

4. Testing of Pattern-deployed Software (Project No. 123207, $375,329, Jan-2008-Dec 2009, Co-I)

Hong Kong ITF Grants (for applied R&D)

1. RFID Benchmarking: Methodology and Practice [无线射频识别基准测试的关键技术之方法及应用] (Project No. ITP/022/07LP, Phase 1: $2,218,465, 1 Jul 2007 to 31 Dec 2008, Investigator; Phase 2: $10,699,720, 1 Oct-2008 to 30 Sep 2010)    [website]

2. An Extensible Fault-Based Predicate Testing Toolset for Wireless Sensor Network Software Applications [用於無線感知網絡應用軟件的可擴展性基於錯誤的謂詞測試工具集] (Project No. ITS/076/06, $976,350, Sep 2006-Nov 2007, Deputy Project Coordinator) [website]

Australian ARC Discovery Project

1. A Comprehensive Testing Methodology for Embedded Software (Project No. DP0984760, AUD 220,000,  2009-2011, Oversea Partner Investigator)

Hong Kong CityU Grants

1. Espresso: tEsting Synthesized PRograms of wirElesS Sensor netwOrk (Project No. CityU 7002324, $180,000, Apr 2008 - Mar 2010, PI)

2. CityU Top-up Fund for CERG Project 111107 (Project No. CityU 9041221, $42,130, PI).

3. An Exploratory Study of the Test Oracle Problem (Project No. CityU 7200079, $99,963, Nov 2006-Jan 2008, PI)

_{Last Updated: Mar  2008}