Six ways to find software bugs

PhD Qualifying Examination


Title: "Six ways to find software bugs"

by

Mr. Gang FAN


Abstract:

With the rapid development of hardware and the emerging of smart devices like 
smart phones and wearable gadgets, software, the soul of those devices, becomes 
more and more important. However, program bugs, which often cause system 
failure and misbehaviors, is one of the most severe stumbling blocks for even 
further development of those technologies. Since detecting all bugs in a 
program is generally undecidable, many novel techniques emerged to conquer this 
program from different aspects and with different tradeoffs. Many of them are 
commercialized and hence further prove their practical value. In this report, 
we surveyed six representative classes of them, advantages and limitations of 
these techniques are also discussed.


Date:			Monday, 9 November 2015

Time:                  	3:00pm - 5:00pm

Venue:                  Room 3494
                         Lifts 25/26

Committee Members:	Dr. Charles Zhang (Supervisor)
 			Prof. Shing-Chi Cheung (Chairperson)
 			Prof. Fangzhen Lin
 			Dr. Qiong Luo


**** ALL are Welcome ****