Faultless Software Project.
William E. Howden · 1993
Research has focused in three areas. The first is the development of a general platform paradigm for informal program verification and understanding. The second is the development of practical methods for the reconstruction of functional specifications from code. The third is the development of formal, statistical models for the evaluation of testing methods.