Towards an integrated method for program testing, proving debugging

View Statistics Email Alert RSS Feed

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