Papers

Recent Publications

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson, Toward Mapping of Security Requirements into Software Architectures, Computer Security Conference 2007, Myrtle Beach, SC, April 11-13, 2007.

Jose Romero-Mariona, Hadar Ziv, and Debra J. Richardson, Toward Hybrid Requirements-based and Architecture-based Testing, ROSATEA 2007 (The Role of Software Architecture for Testing and Analysis), Boston, MA, July 2007.

Mamadou H. Diallo, Leila Naslavsky, Hadar Ziv, Thomas A. Alspaugh, and Debra J. Richardson, Evaluating Software Architectures Against Requirements-level Scenarios, ROSATEA 2007 (The Role of Software Architecture for Testing and Analysis), Boston, MA, July 2007.

Lihua Xu, Hadar Ziv, Thomas A. Alspaugh and Debra J. Richardson, An architectural pattern for non-functional dependability requirements, Ocotber 2006 Volume 79 issue 10 - Pages 1370-1378.

André van der Hoek, David Kay, and Debra Richardson, A B.S. Degree in Informatics: Contextualing Software Engineering Education, to appear in 27th International Conference on Software Engineering, St. Louis, MO, May 2005.

David Kay, André van der Hoek, and Debra Richardson, Informatics: A Focus on Computer Science in Context, to appear in SIGCSE 2005 Technical Symposium on Computer Science Education, St. Louis, MO, February 2005.

Lihua Xu, Hadar Ziv, Debra Richardson, Zhixiong Liu, Towards Modeling Non-Functional Requirements in Software Architecture, Early Aspects Workshop (chosen as one of three papers for discussion), held at AOSD-2005: Annual Aspect-Oriented Software Development Conference, March 2005.

Lihua Xu and Debra Richardson, Generating Regression Tests using Model Checking, Fifth Grace Hopper Celebration of Women in Computing Conference, Chicago, Illinois, October 2004.

Yuewei Zhou, Debra Richardson, Hadar Ziv, Towards a Practical Approach to Test Aspect-Oriented Software, TECOS 2004: Workshop on Testing Componhent-Based Systems, Net.Object Days 2004, Erfurt, Germany, September 2004.

Lihua Xu, Marcio Dias, and Debra Richardson, Generating Regression Tests via Model Checking, COMPSAC 2004: Proceedings of the 28th International Computer Software and Applications Conference, Hong Kong, China, September 2004.

Leila Naslavsky, Roberto Silva Filho, Cleidson de Souza, Marcio Dias, Debra Richardson, David Redmiles, Distributed Expectation-Driven Residual Testing, RAMSS '04: Proceedings of the Second International Workshop on Remote Analysis and Measurement of Software Systems, in conjunction with ICSE 2004: 26th International Conference on Software Engineering, Edinburgh, Scotland, UK, May 2004.

Leila Naslavsky, Lihua Xu, Marcio Dias, Hadar Ziv, Debra Richardson, Extending xADL with Statechart Behavioral Specification, WADS '04: Proceedings of the Twin Workshops on Architecting Dependable Systems, in conjunction with ICSE 2004: 26th International Conference on Software Engineering, Edinburgh, Scotland, UK, May 2004.

Marcio Dias and Debra Richardson, Enabling Adaptable Verification by Monitoring Evolvable Dependable System Architectures, WADS '04: Proceedings of the Twin Workshops on Architecting Dependable Systems, in conjunction with ICSE 2004: 26th International Conference on Software Engineering, Edinburgh, Scotland, UK, May 2004.

H. Muccini, M. Dias and D. Richardson, Systematic Testing of Software Architectures in the C2 Style, FASE’2004: Fundamental Approaches to Software Engineering, 7th European Joint Conferences on Theory and Practice of Software (ETAPS), Barcelona, Spain, March 2004.

L. Xu, M. Dias and D. Richardson, Regression Testing via Model Checking, SE’2004: IASTED International Conference on Software Engineering, 22nd IASTED Multiconference on Applied informatics, Innsbruck, Austria, February 2004.

L. Naslavsky, M. Dias and D. Richardson, Multiply-Deployed Residual Testing at the Object Level, SE’2004: IASTED International Conference on Software Engineering, 22nd IASTED Multiconference on Applied informatics, Innsbruck, Austria, February 2004.

C. Liu and D. J. Richardson, Component Interoperability Analysis in RAIC, Session on Formal Reasoning on Software Components and Component Based Software Architectures, Proceedings of the Seventh Conference on Integrated Design and Process Technology, Austin, TX, December 2003.

M. Dias and D. Richardson, Issues in Analyzing Dynamic System Evolution, SEA 2003: Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications, Marina del Rey, CA, USA, November 2003.

M. Vieira, D. Richardson, and M. Dias, Analyzing System-level Dependence in the Presence of COTS Software Components, SEA 2003: Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications, Marina del Rey, CA, USA, November 2003.

M. Dias, D.J. Richardson, Architecting Dependable Systems with xMonEve, an extensible event description language for monitoring, ICSSEA 2002: Proceedings of the 15th International Conference on Software & Systems Engineering & their Applications, Paris, France, December 2002.

M. Vieira, D.J. Richardson, Classifying and Dealing with Dependencies in Large Component-Based Systems, ICSSEA 2002: Proceedings of the 15th International Conference on Software & Systems Engineering & their Applications, Paris, France, December 2002.

C.S. Turner, D.J. Richardson, J.K. Fox, Strict Products Liability for Software Code Defects, LawTech 2002: Proceedings of the 3rd International Conference on Law and Technology, Cambridge, Massachusetts., November 2002.

M. Dias, D.J. Richardson, Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components, ASE’02: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, Edinburgh, Scotland, September 2002.

M. Vieira, D.J. Richardson, Analyzing Dependencies in Large Component-Based Systems, ASE’02: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, Edinburgh, Scotland, September 2002.

C. Liu and D.J. Richardson, Using RAIC for Dependable On-line Upgrading of Distributed Systems, COMPSAC 2002: Proceedings of the 26th International Computer Software and Applications Conference, Workshop on Dependable On-line Upgrading of Distributed Systems, Oxford, England, August 2002.

C. Liu and D. J. Richardson, RAIC as a Mobile Agent Coordinator and a Component Mobilizer, SCI'02: 6th World Multiconference on Systemics, Cybernetics and Informatics, Proceedings of the International Workshop on Mobile Agent Development and Applications, Orlando, Florida, July 2002.

M. Vieira, D.J. Richardson, The Role of Dependencies in Component-Based Systems Evolution, IWPSE’02: Proceedings of the International Workshop on Principles of Software Evolution, in conjunction with ICSE 2002: 24th International Conference on Software Engineering, Orlando, May, 2002.

C. Liu and D.J. Richardson, Specifying Component Method Properties for Component State Recovery in RAIC, CBSE-5: Proceedings of the Fifth Workshop on Component-Based Software Engineering, in conjunction with ICSE 2002: 24th International Conference on Software Engineering, Orlando, Florida, May 2002.

M. Dias, D.J. Richardson, The Role of Event Description on Architecting Dependable Systems, WADS 2002: Proceedings of the Workshop on Architecting Dependable Systems, in conjunction with ICSE 2002: 24th International Conference on Software Engineering, Orlando, Florida, May 2002.

C. Liu and D.J. Richardson, RAIC: Architecting Dependable Systems through Redundancy and Just-In-Time Testing, WADS 2002: Proceedings of the Workshop on Architecting Dependable Systems, in conjunction with ICSE 2002: 24th International Conference on Software Engineering, Orlando, Florida, May 2002.

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.

C. Liu and D.J. Richardson, Using Application States in Software Testing, ASE’00: Proceedings of the 15th International Conference on Automated Software Engineering, sponsored by IEEE Computer Society, Grenoble, France, September 2000.

M. Vieira, M. Dias, and D.J. Richardson, Analyzing Software Architectures Based on Statechart Semantics. Proc. of 21st International Conference on Software Engineering (ICSE’2000). Limerick, Ireland, June 2000.

Vieira, M., Richardson, D. J.,Object-Oriented Specification-Based Testing Using UML Statechart Diagrams, Proc. of Workshop on Automated Program Analysis, Testing, and Verification (at ICSE’2000), Limerick, Ireland, June 2000.

A.A. Reyes and D.J. Richardson, Siddhartha: A Technique for Building Domain-Specific Test Synthesizers, ASE’99: Proceedings of the 14th International Conference on Automated Software Engineering, sponsored by IEEE Computer Society, Boca Raton, FL, October 1999.

C. Liu and D.J. Richardson, Towards Discovery, Specification, and Verification of Component Usage, ASE’99: Proceedings of the 14th International Conference on Automated Software Engineering, sponsored by IEEE Computer Society, Boca Raton, FL, October 1999.

J. Chang and D.J. Richardson, Structural Specification-based Testing: Automated Support and Experimental Evaluation, ESEC/ FSE’99: Proceedings of the 7th European Software Engineering Conference / 7th ADM SIGSoft Symposium on the Foundations of Software Engineering, sponsored by ACM SIGSoft, Toulouse, France, September 1999.

A.A. Reyes and D.J. Richardson, Transformational Test Driver-Oracle Synthesis, STS’99: Proceedings of the Workshop on Software Transformation Systems, Marcelo Sant'Anna, ed., held in conjunction with ICSE’99: 21st International Conference on Software Engineering, sponsored by ACM SIGSoft and IEEE Computer Society, Los Angeles, CA, May 1999.

A..A. Reyes and D.J. Richardson, Specification-Based Testing of Ada Units with Low Encapsulation, ASE’98: Proceedings of the 13th IEEE International Automated Software Engineering Conference, Alex Quilici, Bashar Nuseibeh, David Redmiles, eds., sponsored by IEEE Computer Society, Honolulu, Hawai'i, October 1998.

J. Chang and D.J. Richardson. ADLscope: an automated specification-based unit testing tool. ASE’98: Proceedings of the 13th IEEE International Automated Software Engineering Conference, Alex Quilici, Bashar Nuseibeh, David Redmiles, eds., sponsored by IEEE Computer Society, pp. 289-292, Honolulu, Hawaii, October 1998.

H. Ziv and D.J. Richardson, Constructing Bayesian-network Models of Software Testing and Maintenance Uncertainties, International Conference on Software Maintenance, Bari, Italy, September 1997.

H. Ziv and D.J. Richardson, Adding Uncertainty to Hypertext Models of Software Systems, International Workshop on Incorporating Hypertext Functionality into Software Systems,  in conjunction with Eighth ACM International Hypertext Conference, Southampton, UK, April 1997.

H. Ziv and D.J. Richardson, Lost and Found in SoftwareSpace: A Bayesian Approach, MTAC'97: Multimedia Technology and Applications Conference, Irvine, CA, March 1997.

N. Eickelmann and D.J. Richardson, Leveraging the Cost of Software Testing with Measurable Process Improvement, Proceedings of the Computing in Engineering Conference, ETCE-ASME '97, Houston, TX, January 1997.

C.S. Turner, D.J. Richardson, and J.L. King, Legal Sufficiency of Testing Processes, SAFECOMP`96: Proceedings of the Conference on Safety, Reliability and Security, Vienna, Austria, October 1996.

D.J. Richardson and A.L. Wolf, Software Testing at the Architectural Level, Second International Software Architecture Workshop (ISAW-2), October 1996.

H. Ziv, R. Klosch, D.J. Richardson, Software Re-Architecturing in the Presence of Partial Documentation, Second International Software Architecture Workshop (ISAW-2), October 1996.

N. Eickelmann and D.J. Richardson, Evaluating Software Testability based on Software Architecure, Second International Software Architecture Workshop (ISAW-2), October 1996.

T.O. O'Malley, D. J. Richardson, and L.K. Dillon, Efficient Specification-Based Test Oracles, Second California Software Symposium (CSS'96), April 1996.

N. Eickelmann and D.J. Richardson, An Evaluation of Software Testing Environments, Eighteenth International Conference on Software Engineering (ICSE-18), March 1996.

H. Ziv and D.J. Richardson, "Tracing Configuration-Management Information in Large Software Spaces, Sixth Workshop on Software Configuration Management (CSM'6), March 1996.

J. Chang, D. J. Richardson, and S. Sankar, Structural Specification-Based Testing with ADL, Proceedings of the Third International Symposium on Software Testing and Analysis (ISSTA'96), January 1996.

J. Chang, S. Sankar, and D. J. Richardson, Automated Test Selection from ADL Specifications, First California Software Symposium (CSS'95), March 1995.

D. J. Richardson, TAOS: Testing with Analysis and Oracle Support, 1994 International Symposium on Software Testing and Analysis, August 1994.

J. Chang and D. J. Richardson, Static and Dynamic Specification Slicing, Fourth Irvine Symposium on Software, April 1994.

M. C. Thompson, D. J. Richardson, and L. A. Clarke, An Information Flow Model of Fault Detection, 1993 International Symposium on Software Testing and Analysis, June 1993.

D. J. Richardson and M. C. Thompson, An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection, IEEE Transactions on Software Engineering, June 1993.

D. J. Richardson, T. O. O'Malley, C. Tittle Moore, and S. Leif Aha, Developing and Integrating ProDAG in the Arcadia Environment, ACM SIGSOFT '92: Fifth Symposium on Software Development Environments, December 1992.

R. Kadia (the Arcadia Principal Investigators), Issues Encountered in Building a Flexible Software Development Environment -- Lessons Learned from the Arcadia Project, ACM SIGSOFT '92: Fifth Symposium on Software Development Environments, December 1992.

D. J. Richardson, S. Leif Aha, and T. O. O'Malley, Specification-Based Oracles for Reactive Systems, 14th International Conference on Software Engineering, May 1992.

D. J. Richardson, T. O. O'Malley, and C. Tittle Moore, Approaches to Specification-Based Testing, ACM SIGSoft 89: Third Symposium on Software Testing, Analysis and Verification, December 1989.

D. J. Richardson, S. Leif Aha, L. J. Osterweil, Integrating Testing Techniques with Process Programming, ACM SIGSoft 89: Third Symposium on Software Testing, Analysis and Verification, December 1989.

L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil, A Formal Evaluation of Data Flow Path Selection Criteria, IEEE Transactions on Software Engineering, November 1989.

L. A. Clarke, D. J. Richardson, and S. J. Zeil, TEAM: A Support Environment for Testing, Evaluation, and Analysis, ACM SIGSOFT '88: Third Symposium on Practical Software Development Environments, November 1988.

D. J. Richardson and M. C. Thompson, The RELAY Model of Error Detection and its Application, Second Workshop on Testing, Verification and Analysis, July 1988.

D. J. Richardson and L. A. Clarke, Partition Analysis: A Method Combining Testing and Verification, IEEE Transactions on Software Engineering, December 1985.

Selected Reports

M. Vieira, D.J. Richardson, Dynamic and Compositional Approach for Analyzing Dependencies Embedded in Component-Based Systems, Technical Report UCI/ICS TR:03-10, Information & Computer Science, University of California, Irvine, February 2003.

M. Dias, D.J. Richardson, Issues on Software Monitoring, Technical Report UCI/ICS TR:02, Information & Computer Science, University of California, Irvine, July 2002.

C. Liu and D.J. Richardson, Redundant Arrays of Independent Components, Technical Report UCI/ICS TR:02-09, Information & Computer Science, University of California, Irvine, March 2002.

M. Vieira, D.J. Richardson, Issues in Describing and Analyzing Component Dependencies, Technical Report UCI/ICS TR:01-39, Information & Computer Science, University of California, Irvine, July 2001.

C.S. Turner and D.J. Richardson, Software Defect Classes and No-fault Liability, Technical Report UCI/ICS TR:99-17, Information & Computer Science, University of California, Irvine, April 1999.

C. Liu, D.J. Richardson, Programming Languages Considered Harmful in Writing Automated Software Tests, Technical Report UCI/ICS TR:99-09, Information & Computer Science, University of California, Irvine, February 1999.

C. Liu, D.J. Richardson, TestTalk, A Test Description Language: Write Once, Test by Anyone, Anytime, Anywhere, with Anything, Technical Report UCI/ICS TR:99-08, Information & Computer Science, University of California, Irvine, February 1999.

C. Liu, D.J. Richardson, TestTalk Language Reference (Version 0.1)", Technical Report UCI/ICS TR:99-07, Information & Computer Science, University of California, Irvine, February 1999.

J. Stafford, D.J. Richardson, and A.L. Wolf, Aladdin: A Tool for Architecture-Level Dependence Analysis of Software Systems, Technical Report CU/CS TR:858-98, Computer Science, University of Colorado, Boulder, April 1998.

J. Stafford, D.J. Richardson, A.L. Wolf, and B.G. Zorn, Adapting Program Dependence Analysis Techniques for use on Software Architectures, November 1997.

M.L. Rousseau and D.J. Richardson, Prioritizing Requirements and Tracing Priorities throughout the Software Lifecycle, November 1997.

J. Stafford, A.L. Wolf, and D.J. Richardson,  Chaining: A Software Architecture Dependence Analysis Technique, University of Colorado Technical Report, CU-CS-845-97, September 1997.

N. Eickelmann and D.J. Richardson, A Software Testability Measure for Architecture-Based Test Processes, January 1997.

H. Ziv and D.J. Richardson, Bayesian-network Confirmation of Software Testing Uncertainties, January 1997.

N. Eickelmann and D.J. Richardson, An Evaluation of Measurement Theoretic Models of Software Testability, September 1996.

H. Ziv and D.J. Richardson, The Uncertainty Principle in Software Engineering, May 1996.

J. Chang and D. J. Richardson, Static and Dynamic Specification Slicing for Testing and Analysis, June 1994.

N. Eickelmann and D. J. Richardson, A Strategic Advantage Analysis of Formal Methods in Software Engineering, June 1994.

D.J. Richardson and Bach Bui, ProDAG Graphical User Interface Manual, Arcadia Technical Report UCI/ICS TR-93-12, September 1993.

D.J. Richardson and Bach Bui, TAOS Graphical User Interface Manual, Arcadia Technical Report UCI/ICS TR-93-11, September 1993.

D.J. Richardson, C. Tittle Moore, T.O. O'Malley, S.L. Aha and D.A. Brodbeck, ProDAG: An Application Programmatic Interface for Program Dependence Analysis Graphs, Arcadia Technical Report UCI/ICS TR-93-10, August 1993.