Towards an integrated method for program testing, proving debugging


Grant Data
Project Title
Towards an integrated method for program testing, proving debugging
Principal Investigator
Dr Tse, Tsun Him   (Principal investigator)
Co-Investigator(s)
Professor Chen Tsong Yueh   (Co-Investigator)
Duration
42
Start Date
2004-09-01
Completion Date
2008-02-29
Amount
486000
Conference Title
Presentation Title
Keywords
program testing
Discipline
Software
Sponsor
RGC General Research Fund (GRF)
HKU Project Code
HKU 7145/04E
Grant Type
General Research Fund (GRF)
Funding Year
2004/2005
Status
Completed