William Howden, University of California, San Diego, USA

William Howden Dr. Howden is a professor of Computer Science at the University of California at San Diego. He has worked in the area of program testing and analysis since 1975, with the publication of his paper on symbolic evaluation and automated test data generation. His work in the area includes material on fault based testing methods, functional testing, and the use of comments in systematic program analysis. His recent work includes the development of analysis tools for a real time and Ada programs. His book, Functional Analysis and Program Testing, emphasized the use of broad spectrum functional testing, in which tests are used that exercise each of the functional components of a program, including those from specifications and design. He has also done an analysis of statistical testing methods, and published work on models which describe how methods combine to produce a cumulative improvement in fault detection and reliability prediction.