Debra J. Richardson

Professor Emeritus

DEGREE:

Ph.D. 1981 University of Massachusetts, Amherst

RESEARCH AREAS:

Software Engineering

RESEARCH INTERESTS:

Professor Richardson's primary research is directed toward the integration of formal specification methods and analysis with software testing. She pioneered research in "specification-based testing", whereby formal and semi-formal specifications are employed to guide software testing. Her current work focuses on enabling specification-based testing technology throughout the software lifecycle, from requirements and architecture analysis through operation and evolution.

CONTACT INFORMATION:

E-mail:	djr@ics.uci.edu
Office:	DBH 5241
Phone:	(949) 824-7353
Fax:	(949) 824-3976
Website:	www.ics.uci.edu/~djr/