Debra J. Richardson

Donald Bren School of Information and Computer Sciences

Phone: (949) 824-7353
Fax: (949) 824-1715

University of California, Irvine
5241 Donald Bren Hall
Mail Code: 3425
Irvine, CA 92697
Research Interests
Software Validation and Testing, Formal Methods, Software Process and Environments
Research Abstract
Dr. Richardson pioneered research in "specification-based testing", whereby formal specifications and methods are employed to guide and evaluate software testing and analysis. She has been investigating software testing for over 15 years. Her current work focuses on enabling specification-based testing technology throughout the software lifecycle, from requirements and architecture analysis through operation and evolution. She has developed leading edge tools, and has worked with several companies in adopting technology to improve the quality of critical software systems.

Dr. Richardson has worked with several companies in adopting technology for improving the quality of their software products and processes. While on sabbatical in 1996, she directed the Quality Enabling Software Technology (QuEST) study at the Microelectronics and Computer Technolgy Corporation (MCC). Out of this study, grew the Quest project, whose goal is to study, transition, evaluate, integrate, and improve software testing and analysis tools and technologies for enabling and enhancing software quality. Richardson was recently named to the Board of Directors of Cotelligent, Inc., a leading provider of mobile business solutions, services and wireless hosting based in San Francisco.

She is currently director of MICRO (Microelectronics Innovation and Computer Research Opportunities), the first industry-university cooperative research program in the University of California (about to celebrate it's 20th anniversary). She is also a founding member of the UC Institute for Software Research (an Organized Research Unit). She currently serves UCI on the Committee on Committees and recently served as a member of UCI's Academic Senate Cabinet and as chair of UCI's Council on Educational Policy.

Richardson has served on several program committees, in particular on the series of International Symposia on Software Testing and Analysis (ISSTA and TAV - General Chair in 2000), and the International Conference on Automated Software Engineering (ASE - General Chair in 2001), as well as the ACM SIGSoft Symposium on Foundations of Software Engineering (FSE), the International Workshop on Software Specification and Design (IWSSD - Program Chair in 2000), and the Workshop on Formal Methods in Software Practice (FMSP - General Chair in 2000).
M. Dias, M Vieira, and D.J. Richardson, Analyzing Software Architecture Based on Statechart Semantics, Proc. of 15th Brazilian Symposium on Software Engineering (SBES'2001). Rio de Janeiro, Brazil, October 2001.
M. Vieira, M. Dias, D.J. Richardson, Describing Dependencies in Component Access Points, Proc. of Workshop on Component Based Software Engineering (at ICSE’2001). Toronto, Canada, May, 2001.
M. Vieira, M. Dias, D. J. Richardson, Software Architecture based on Statechart Semantics, 10th International Workshop on Software Specification and Design (IWSSD-10), November 2000.
C. Turner and D.J. Richardson, Software Control and Strict products liability: A technical challenge to current legal notion of responsibility, LAWTECH 2000: Proceedings of the IASTED International Conference Law and Technology 2000, San Francisco, November 2000.

Research Center
Institute for Software Research
Last updated