Publications

Vita: download full CV http://www.ics.uci.edu/~djr/files/djrCV.pdfshapeimage_1_link_0
 

  1. ✦Birgit Penzenstadler, Daniel Mendez Fernandez, Debra Richardson, David Callele and Krzysztof Wnuk. The Requirements Engineering Body of Knowledge (REBoK), Working Session. 21st International Requirements Engineering Conference (RE), July 2013.

  2. ✦Kristin Roher and Debra Richardson. “Sustainability Requirements Patterns”. 3rd International Workshop on Requirements Patterns (RePa), held in conjunction with the 21st International Requirements Engineering Conference (RE), July 2013.

  3. ✦Kristin Roher and Debra Richardson. A Proposed Recommender System for Eliciting Software Sustainability Requirements. Second Workshop on User evaluations for Software Engineering Researchers (USER 2013), held in conjunction with 35th International Conference on Software Engineering (ICSE2013), San Francisco, May 2013.

  4. ✦Birgit Penzenstadler, Henning Femmer and Debra Richardson, Who is the Advocate? Stakeholders for Sustainability. Second International Workshop on Green and Sustainable Software (GREENS 2013), held in conjunction with 35th International Conference on Software Engineering (ICSE 2013), San Francisco, May 2013.

  5. ✦Debra Richardson. CSEdWeek Shines in 2011. ACM SIGCSE Bulletin, to appear Vol.44, No. 3, September 2012.

  6. ✦Birgit Penzenstadler, Bill Tomlinson, and Debra Richardson, Support Environmental Sustainability by Requirements Engineering, International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy), held in conjunction with 18th International Working Conference on Requirements Engineering: Foundations for Software Quality (ReFSQ’12), Essen, Germany, March 2012.

  7. ✦Debra Richardson, Ruthe Farmer, and Cameron Wilson. CSEdWeek Wants You! ACM SIGCSE Bulletin, Vol.43, No. 3, September 2011.

  8. ✦Kristina Winbladh, Hadar Ziv, and Debra J. Richardson. Evolving requirements in patient-centered software. 3rd International Workshop Software Engineering in Heathcare (SEHC’11). International Conference on Software Engineering (ICSE 2011), Honolulu, Hawaii, May 2011.

  9. ✦Debra Richardson, Cameron Wilson, and Ruthe Farmer. Why Computer Science Education Week? ACM SIGCSE Bulletin, Vol.43, No. 1, March 2011.

  10. ✦Debra J. Richardson, Ban Al-Ani and Hadar Ziv. Requirements Engineering at the Margins: Avoiding Technological Hubris through Alternative Approaches. Proceedings of the Workshop on the Future of Software Engineering Research (FOSER), held in conjunction with 18th International Symposium on Foundations of Software Engineering (FSE–18), Santa Fe, NM, November 2010.

  11. ✦Kristina Winbladh, Hadar Ziv and Debra Richardson. iMuse - Interactive Model-based Use-case and Storytelling Environment. Proceedings of the 18th International Symposium on Foundations of Software Engineering (FSE–18), Santa Fe, NM, November 2010.

  12. ✦Jose Romero-Mariona, Hadar Ziv and Debra Richardson. Increasing Trustworthiness Through Security Testing Support. Proceedings of the Second International Symposium on Secure Computing (SecureCom-10), held in conjunction with International Conference on Information Privacy, Security, Risk and Trust (PASSAT-10), Minneapolis, MN, August 2010.

  13. ✦Jose Romero-Mariona, Hadar Ziv and Debra Richardson. ASSURE: Automated Support for Secure and Usable Requirements Engineering. Proceedings of the 2010 International Conference on Software Testing and Analysis (ISSTA-2010), Trento, Italy, July 2010.

  14. ✦Leila Naslavsky, Hadar Ziv and Debra Richardson. MbSRT2: Model-based Selective Regression Testing with Traceability. Proceedings of the Third International Conference on Software Testing, Verification and Validation (ICST 2010). Paris, France, April 2010.

  15. ✦Gabriela Marcu, Jaihee Kate Lee, Samuel J. Kaufman, Rebecca W. Black, Paul Dourish, Gillian R. Hayes and Debra J. Richardson. Design and Evaluation of a Computer Science and Engineering Course for Middle School Girls, Proceedings of the 41st ACM Technical Symposium on Computer Science Education (SIGCSE’2010), Milwaukee, WI, March 2010.

  16. ✦Jose Romero-Mariona, Hadar Ziv and Debra J. Richardson. Formality of the Security Specification Process. Proceedings of the 43rd Hawaii International Conference on System Sciences (HICSS’2010). Kauai, HI, January 2010.

  17. ✦Jose Romero-Mariona, Hadar Ziv and Debra J. Richardson. Secure and Usable Requirements Engineering. ASE 09 Doctoral Symposium. Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE’09). Auckland, New Zealand, November 2009.

  18. ✦Jose Romero-Mariona, Hadar Ziv and Debra J. Richardson. Engineering Secure Software Through Requirements. Proceedings of the 2009 Society for the Advancement of Chicanos and Native Americans in Science (SACNAS’09). Dallas, TX, October 2009.

  19. ✦Leila Naslavsky, Hadar Ziv and Debra Richardson. A Model-Based Regression Test Selection Technique. Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM’09). Edmonton, Alberta, Canada, September 2009.

  20. ✦Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson and Dennis Bystritsky. Towards Usable Cyber Security Requirements. Proceedings of the Cyber Security and Information Intelligence Research Workshop (CSIIRW), Oak Ridge, TN, April 2009.

  21. ✦Jose Romero-Mariona, Hadar Ziv and Debra J. Richardson. Later Stages Support for Security Requirements. Proceedings of the Richard Tapia Celebration of Diversity in Computing, Portland OR, April 2009.

  22. ✦Kristina Winbladh, Hadar Ziv and Debra J. Richardson. Eliciting Required Characteristics for Usable Requirements Engineering Approaches. Proceedings of the ACM Symposium on Applied Computing, RE Track (ACM SAC), Honolulu, HI, March 2009.

  23. ✦Chang Liu, En Ye, and Debra J. Richardson. Software Library Usage Pattern Extraction Using a Software Model Checker. International Journal of Computers and Applications, Vol. 31, No. 2, 2009.

  24. ✦Jose Romero-Mariona, Hadar Ziv and Debra Richardson. A Recommendation System for Security Requirements. Proceedings of the International Workshop on Recommendation Systems for Software Engineering (RSSE), held in conjunction with FSE–16, Atlanta, GA, November 2008.

  25. ✦Leila Naslavsky, Hadar Ziv and Debra J. Richardson. Using Model Transformation to Support Model-Based Test Coverage Measurement, Proceedings of the Third Workshop on Automation of Software Test, held in conjunction with ICSE'08, Leipzig, Germany, May 2008.

  26. ✦Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv and Debra J. Richardson. Toward Architecture Evaluation Through Ontology-based Requirements-level Scenarios, in Architecting Dependable Systems V, Editors: R. de Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, and Marlon Vieira, Springer Lecture Notes in Computer Science, vol. 5315, 2008.

  27. ✦Leila Naslavsky, Hadar Ziv and Debra J. Richardson. Towards Leveraging Model Transformation to Support Model-based Testing. Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, GA, Novmber 2007.

  28. ✦Thomas A. Alspaugh, Susan Elliott Sim, Kristina Winbladh, Mamadou Diallo, Hadar Ziv and Debra J. Richardson. The Importance of Clarity in Usable Requirements Specification Format. Proceedings of the Fifth International Workshop on Comparative Evaluation in Requirements Engineering (CERE), held in conjunction with RE’07, New Delhi, India, October 2007.

  29. ✦Jose Romero-Mariona, Hadar Ziv and Debra J. Richardson. CCARCH: Architecting Common Criteria Security Requirements. Proceedings of the Third International Symposium on Information Assurance and Security (IAS). IEEE CS Press. Manchester, UK, August 29-31, 2007.

  30. ✦Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh and Debra J. Richardson. In the Requirements Lies the Power. Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE), Boston, MA, July 2007.

  31. ✦Leila Naslavsky, Hadar Ziv and Debra J. Richardson.  Towards Traceability of Model-based Testing Artifacts. Proceedings of the Third Workshop on the Advances of Model-Based Testing (AMOST), co-located with the International Symposium on Software Testing and Analysis (ISSTA), London, UK, July 2007.

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

  33. ✦Jose Romero-Mariona, Hadar Ziv and Debra J. Richardson. Toward Hybrid Requirements-based and Architecture-based Testing, Proceedings of the Third International Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA), Boston, MA, July 2007.

  34. ✦Jose Romero-Mariona, Hadar Ziv and Debra J. Richardson. Toward Mapping of Security Requirements into Software Architectures, Proceedings of the 2007 Computer Security Conference (CSC), Myrtle Beach, SC, April 2007.

  35. ✦Leila Naslavsky, Henry Muccini and Debra J. Richardson. Scenario-based and State Machine-based Testing: An Evaluation of Automated Approaches, Proceedings of the First International Workshop on Model-based Testing and Object-Oriented Systems (M-TOOS), in conjunction with OOPSLA, Portland, OR, October 2006.

  36. ✦Henry Muccini, Marcio Dias and Debra J. Richardson. Software architecture-based regression testing, Journal of Systems and Software, October 2006, vol. 79, no. 10, 1379-1396.

  37. ✦Lihua Xu, Hadar Ziv, Thomas A. Alspaugh and Debra J. Richardson. An architectural pattern for non-functional dependability requirements, Journal of Systems and Software, October 2006, vol. 79, no. 10, 1370-1378.

  38. ✦Chang Liu, En Ye and Debra J. Richardson. Software Library Usage Pattern Extraction Using a Software Model Checker, Proceedings of the 21st ACM/IEEE International Conference on Automated Software Engineering (ASE), Tokyo, Japan, September 2006.

  39. ✦Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv and Debra J. Richardson. An Automated Approach for Goal-driven, Specfication-based Testing, Proceedings of the 21st ACM/IEEE International Conference on Automated Software Engineering (ASE), Tokyo, Japan, September 2006.

  40. ✦Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv and Debra J. Richardson. Architecture-based Testing Using Goals and Plans. Proceedings of the Second International Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA), Portland, ME, July 2006.

  41. ✦Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hadar Ziv, André van der Hoek and Debra J. Richardson. Towards supporting the architecture design process through evaluation of design alternatives. Proceedings of the Second International Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA), Portland, ME, July 2006.

  42. ✦Chang Liu, En Ye and Debra J. Richardson. LtRules: an Automated Software Library Usage Rule Extraction Tool, Proceedings of the 2006 International Conference on Software Engineering (ICSE), Shanghai, China, May 20-28, 2006.

  43. ✦Harry Bruce, Debra J. Richardson and Michael Eisenberg. The I-Conference: Gathering of the Clans of Information, ASIST Bulletin, April/May 2006.

  44. ✦Leila Naslavsky, Thomas A. Alspaugh, Debra J. Richardson and Hadar Ziv. Using Scenarios to Support Traceability. Proceedings of the Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE), Long Beach, CA, November 2005.

  45. ✦Thomas A. Alspaugh, Debra J. Richardson, Thomas A. Standish and Hadar Ziv. Scenario-driven Specification-based Testing against Goals and Requirements. Proceedings of the 11th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ). Porto, Portugal, June 2005.

  46. ✦Lihua Xu, Hadar Ziv, Debra Richardson and Thomas A. Alspaugh. An Architectural Pattern for Non-Functional Dependability Requirements, Proceedings of the Workshop on Architecting Dependable Systems (WADS), St. Louis, MO, May 2005.

  47. ✦Thomas A. Alspaugh, Debra J. Richardson and Thomas A. Standish. Scenarios, State Machines, and Purpose-driven Testing. Proceedings of the 4th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM). St. Louis, MO, May 2005.

  48. ✦André van der Hoek,  David Kay and Debra Richardson. A B.S. Degree in Informatics: Contextualing Software Engineering Education, Proceedings of the 27th International Conference on Software Engineering (ICSE), St. Louis, MO, May 2005.

  49. ✦Lihua Xu, Hadar Ziv, Debra Richardson and Zhixiong Liu. Towards Modeling Non-Functional Requirements in Software Architecture, Proceedings of the Workshop on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, in conjunction with Annual Aspect-Oriented Software Development Conference (AOSD), Chicago, Illinois, March 2005, selected as one of three papers to be presented.

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

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

  52. ✦Yuewei Zhou, Debra Richardson and Hadar Ziv. Towards a Practical Approach to Test Aspect-Oriented Software, Proceedings of the Workshop on Testing Componhent-Based Systems (TECOS), held in conjunction with Net.Object Days 2004, Erfurt, Germany, September 2004.

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

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

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

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

  57. ✦Henry Muccini, Marcio Dias and Debra J. Richardson. Systematic Testing of Software Architectures in the C2 Style, Proceedings of the 7th Colloquium on Fundamental Approaches to Software Engineering (FASE), held in conjunction with 7th European Joint Conferences on Theory and Practice of Software (ETAPS), Barcelona, Spain, March 2004.

  58. ✦Lihua Xu, Marcio Dias and Debra J. Richardson. Regression Testing via Model Checking, Proceedings of the IASTED International Conference on Software Engineering (SE), held in conjunction with 22nd IASTED Multiconference on Applied informatics, Innsbruck, Austria, February 2004.

  59. ✦Leila Naslavsky, Marcio Dias and Debra J. Richardson. Multiply-Deployed Residual Testing at the Object Level, Proceedings of the IASTED International Conference on Software Engineering (SE), held in conjunction with 22nd IASTED Multiconference on Applied informatics, Innsbruck, Austria, February 2004.

  60. ✦Chang Liu and Debra J. Richardson. Component Interoperability Analysis in RAIC, Proceedings of the 7th Conference on Integrated Design and Process Technology, Session on Formal Reasoning on Software Components and Component Based Software Architectures, Austin, TX, December 2003.

  61. ✦Marcio Dias and Debra Richardson.  Issues in Analyzing Dynamic System Evolution, Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications (SEA), Marina del Rey, CA, USA, November 2003.

  62. ✦Marlon Vieira, Marcio Dias and Debra Richardson.  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 (SEA), Marina del Rey, CA, USA, November 2003.

  63. ✦Marcio Dias and Debra J. Richardson. The Role of Event Description on Architecting Dependable Systems, in Architecting Dependable Systems, Springer Lecture Notes in Computer Science, vol. 2677, 2003.

  64. ✦Marcio Dias and Debra Richardson. Architecting Dependable Systems with xMonEve, an extensible event description language for monitoring, Proceedings of the 15th International Conference on Software & Systems Engineering & their Applications (ICSSEA), Paris, France, December 2002.

  65. ✦Marlon Vieira and Debra Richardson. Classifying and Dealing with Dependencies in Large Component-Based Systems, Proceedings of the 15th International Conference on Software & Systems Engineering & their Applications (ICSSEA), Paris, France, December 2002.

  66. ✦Clark S. Turner, Debra J. Richardson and J. Kris Fox. Strict Products Liability for Software Code Defects, Proceedings of the 3rd International Conference on Law and Technology (LawTech), Cambridge, Massachusetts, November 2002.

  67. ✦Marcio Dias and Debra Richardson. Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components, Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE), Edinburgh, Scotland, September 2002.

  68. ✦Marlon Vieira and Debra Richardson. Analyzing Dependencies in Large Component-Based Systems, Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE), Edinburgh, Scotland, September 2002.

  69. ✦Chang Liu and Debra J. Richardson. Using RAIC for Dependable On-line Upgrading of Distributed Systems, Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC), Workshop on Dependable On-line Upgrading of Distributed Systems, Oxford, England, August 2002.

  70. ✦Chang Liu and Debra J. Richardson. RAIC as a Mobile Agent Coordinator and a Component Mobilizer, Proceedings of the International Workshop on Mobile Agent Development and Applications, in conjunction with 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI), Orlando, Florida, July 2002.

  71. ✦Chang Liu and Debra J. Richardson. Research Directions in RAIC, ACM SIGSOFT Software Engineering Notes, May 2002, vol. 27, no. 3.

  72. ✦Marlon Vieira and Debra Richardson. The Role of Dependencies in Component-Based Systems Evolution, Proceedings of the International Workshop on Principles of Software Evolution (IWPSE), in conjunction with 24th International Conference on Software Engineering, Orlando, May, 2002.

  73. ✦Chang Liu and Debra J. Richardson. Specifying Component Method Properties for Component State Recovery in RAIC, Proceedings of the Fifth Workshop on Component-Based Software Engineering (CBSE), in conjunction with 24th International Conference on Software Engineering, Orlando, Florida, May 2002.

  74. ✦Marcio Dias, Debra J. Richardson, The Role of Event Description on Architecting Dependable Systems, Proceedings of the Workshop on Architecting Dependable Systems (WADS), in conjunction with 24th International Conference on Software Engineering, Orlando, Florida, May 2002.

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

  76. ✦Marcio Dias, Marlon Vieira, Debra J. Richardson, Analyzing Software Architecture Based on Statechart Semantics, Proceedings of the 15th Brazilian Symposium on Software Engineering (SBES), Rio de Janeiro, October 2001.

  77. ✦Marlon Vieira, Marcio Dias and Debra J. Richardson. Describing Dependencies in Component Access Points, Proceedings of the Fourth Workshop on Component Based Software Engineering (CBSE), in conjunction with 23rd International Conference on Software Engineering, Toronto, Canada, May 2001.

  78. ✦Marcio Dias, Marlon Vieira and Debra J. Richardson. Analyzing Software Architecture based on Statechart Semantics, Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD), San Diego, California, November 2000.

  79. ✦Clark S. Turner and Debra J. Richardson. Software Control and Strict products liability: A technical challenge to current legal notion of responsibility, Proceedings of the IASTED International Conference Law and Technology 2000 (LawTech), San Francisco, November 2000.

  80. ✦Chang Liu and Debra J. Richardson. Automated Security Checking and Patching Using TestTalk, Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE), Grenoble, France, September 2000.

  81. ✦Chang Liu (and Debra J. Richardson).  Platform-Independent And Tool-Neutral Test Descriptions For Automated Software Testing, Proceedings of the 22nd international conference on Software Engineering, Doctoral Symposium, Limerick, Ireland, June 2000.

  82. ✦Marlon Vieira, Marcio Dias and Debra J. Richardson. Object-Oriented Specification-Based Testing Using UML Statechart Diagrams, Proceedings of the International Workshop on Automated Program Analysis, Testing and Verification, in conjunction with 22nd International Conference on Software Engineering, Limerick, Ireland, June 2000.

  83. ✦Marcio Dias, Marlon Vieira and Debra J. Richardson. Analyzing Software Architecture with Argus-I, Formal Research Demonstration, Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, June 2000.

  84. ✦Chang Liu and Debra J. Richardson. Using Application States in Software Testing, Poster Session, ICSE’2000, Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, June 2000.

  85. ✦Marcio Dias, Marlon Vieira and Debra J. Richardson. Analyzing Software Architecture with Argus-I, Formal Research Demonstration, Proceedings of the 22nd International Conference on Software Engineering (ICSE), sponsored by ACM SIGSoft and IEEE Computer Society, Limerick, Ireland, June 2000.

  86. ✦Chang Liu and Debra J. Richardson. Using Application States in Software Testing, Poster Session, ICSE’2000, Proceedings of the 22nd International Conference on Software Engineering (ICSE), sponsored by ACM SIGSoft and IEEE Computer Society, Limerick, Ireland, June 2000.

  87. ✦Marcio Dias, Marlon Vieira and Debra J. Richardson. Using Statecharts in Software Architecture Analysis, Fourth Ground System Architectures Workshop (GSAW), The Aerospace Corporation, El Segundo, California, February 2000.

  88. ✦Arthur A. Reyes and Debra J. Richardson, Siddhartha: A Method for Developing Domain-Specific Test Synthesizers, Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE), Boca Raton, FL, October 1999, nominated for Best Paper award.

  89. ✦Chang Liu and Debra J. Richardson. Towards Discovery, Specification, and Verification of Component Usage, Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE), Boca Raton, FL, October 1999.

  90. ✦Chang Liu (and Debra J. Richardson). TestTalk: A Comprehensive Testing Language, Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE), Doctoral Symposium, Cocoa Beach, Florida, USA, October 1999.

  91. ✦Juei Chang and Debra J. Richardson. Structural Specification-based Testing: Automated Support and Experimental Evaluation, Proceedings of the 7th European Software Engineering Conference / 7th ACM SIGSoft Symposium on the Foundations of Software Engineering (ESEC/FSE), Toulouse, France, September 1999.

  92. ✦Debra J. Richardson and Paola Inverardi. ROSATEA:  International Workshop on the Role of Software Architecture in Analysis E(and) Testing, ACM SIGSOFT Software Engineering Notes, July 1999, vol. 24, no. 4.

  93. ✦Arthur A. Reyes and Debra J. Richardson. Transformational Test Driver-Oracle Synthesis, Proceedings of the Workshop on Software Transformation Systems, Marcelo Sant'Anna, ed., in conjunction with 21st International Conference on Software Engineering, Los Angeles, CA, May 1999.

  94. ✦Arthur A. Reyes and Debra J. Richardson. Specification-Based Testing of Ada Units with Low Encapsulation, Proceedings of the 13th IEEE International Conference on Automated Software Engineering (ASE), Honolulu, Hawai'i, October 1998.

  95. ✦Juei Chang and Debra J. Richardson. ADLscope: an automated specification-based unit testing tool. Proceedings of the 13th IEEE International Conference on Automated Software Engineering (ASE), Honolulu, Hawaii, October 1998.

  96. ✦Chang Liu and Debra J. Richardson. Software Components with Retrospectors, Proceedings of the International NSF/CNR Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA), Marsala, Italy, July 1998.

  97. ✦Judy Stafford, Alex L. Wolf, and Debra J. Richardson. Architecture-level Dependence Analysis for Software Systems, Proceedings of the International NSF/CNR Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA), Marsala, Italy, July 1998.

  98. ✦Hadar Ziv and Debra J. Richardson. Constructing Bayesian-network Models of Software Testing and Maintenance Uncertainties, Proceedings of the IEEE International Conference on Software Maintenance (ICSM), Bari, Italy, September 1997.

  99. ✦Hadar Ziv and Debra J. Richardson. Adding Uncertainty to Hypertext Models of Software Systems, Proceedings of the International Workshop on Incorporating Hypertext Functionality into Software Systems,  in conjunction with 8th International Hypertext Conference, Southampton, UK, April 1997.

  100. ✦Hadar Ziv and Debra J. Richardson. Lost and Found in SoftwareSpace: A Bayesian Approach, Proceedings of the Multimedia Technology and Applications Conference (MTAC), Irvine, CA, March 1997.

  101. ✦Nancy S. Eickelmann and Debra J. Richardson. Leveraging the Cost of Software Testing with Measurable Process Improvement, Proceedings of the Computing in Engineering Conference (ETCE-ASME), Houston, TX, January 1997.

  102. ✦Clark S. Turner, Debra J. Richardson, and John L. King. Legal Sufficiency of Testing Processes, Proceedings of the 15th Conference on Safety, Reliability and Security (SAFECOMP), Vienna, Austria, October 1996.

  103. ✦Debra J. Richardson and Alex L. Wolf. Software Testing at the Architectural Level, Proceedings of the 2nd International Software Architecture Workshop (ISAW), San Francisco, October 1996.

  104. ✦Hadar Ziv, Rene Klosch and Debra J. Richardson. Software Re-Architecturing in the Presence of Partial Documentation, Proceedings of the 2nd International Software Architecture Workshop (ISAW), San Francisco, October 1996.

  105. ✦Nancy S. Eickelmann and Debra J. Richardson. What makes one software architecture more testable than another?, Proceedings of the 2nd International Software Architecture Workshop (ISAW), San Francisco, October 1996.

  106. ✦Lori A. Clarke, Andy Podgurski, Debra J. Richardson and Steven J. Zeil. A Formal Evaluation of Data Flow Path Testing Criteria, in Automating Specification-Based Software Testing, IEEE Press, editor Bob Poston, June 1996.

  107. ✦Leon J. Osterweil, Lori A. Clarke, Debra J. Richardson and Michal Young. Perpetual Testing. Proceedings of the Ninth International Software Quality Week, May 1996.

  108. ✦T. Owen O’Malley, Debra J. Richardson and Laura K. Dillon. Efficient Specification-Based Test Oracles for Critical Systems, Proceedings of the 2nd California Software Symposium (CSS), Los Angeles, CA, April 1996.

  109. ✦Nancy S. Eikelmann and Debra J. Richardson. An Evaluation of Software Test Environment Architectures, Proceedings of the 18th International Conference on Software Engineering (ICSE), Berlin, Germany, March 1996.

  110. ✦Hadar Ziv and Debra J. Richardson. Tracing Configuration-Management Information in Large Software Spaces, Proceedings of the 6th Workshop on Software Configuration Management (SCM), in conjunction with 18th International Conference on Software Engineering, Berlin, Germany, March 1996.

  111. ✦Juei Chang, Debra J. Richardson, and Sriram Sankar. Structural Specification-Based Testing with ADL, Proceedings of the 3rd International Symposium on Software Testing and Analysis (ISSTA), San Diego, CA, January 1996.

  112. ✦Juei Chang, Sriram Sankar, and Debra J. Richardson. Automated Test Selection from ADL Specifications, Proceedings of the 1st California Software Symposium (CSS), Irvine, CA, March 1995.

  113. ✦Debra J. Richardson. TAOS: Testing with Analysis and Oracle Support, Proceedings of the 2nd International Symposium on Software Testing and Analysis (ISSTA), Seattle, WA, August 1994, 138–153.

  114. ✦Juei Chang and Debra J. Richardson. Static and Dynamic Specification Slicing, Proceedings of the Fourth Irvine Software Symposium (ISS), Irvine, CA, April 1994.

  115. ✦Debra J. Richardson and Margaret C. Thompson. An Analysis of Test Data Selection Criteria Using the Relay Model of Fault Detection, IEEE Transactions on Software Engineering, June 1993, vol. 19, no. 6, 533-553.

  116. ✦Margaret C. Thompson, Debra J. Richardson and Lori A. Clarke. An Information Flow Model of Fault Detection, Proceedings of the 1st International Symposium on Software Testing and Analysis (ISSTA), Cambridge, MA, June 1993, 182-192.

  117. ✦Debra J. Richardson, T. Owen O'Malley, Cynthia Tittle Moore and Stephanie Leif Aha. Developing and Integrating ProDAG in the Arcadia Environment, Proceedings of 5th ACM SIGSoft Symposium on Software Development Environments (SIGSoft/SDE), Washington, DC, December 1992, 109-119.

  118. ✦R. Kadia (the Arcadia Principal Investigators). Issues Encountered in Building a Flexible Software Development Environment - Lessons Learned from the Arcadia Project, Proceedings of 5th ACM SIGSoft Symposium on Software Development Environments (SIGSoft/SDE), Washington, DC, December 1992, 169-180.

  119. ✦Debra J. Richardson, Stephanie Leif Aha and T. Owen O'Malley. Specification-Based Test Oracles for Reactive Systems, Proceedings of the 14th International Conference on Software Engineering (ICSE), Melbourne, Australia, May 1992, 109-118.

  120. ✦Debra J. Richardson, T. Owen O'Malley and Cynthia Tittle. Approaches to Specification-Based Testing, Proceedings of the 3rd  Symposium on Testing, Analysis and Verification (SIGSoft'89 /TAV), Key West, Florida, December 1989, 86-96.

  121. ✦Debra J. Richardson, Stephanie Leif Aha and Leon J. Osterweil. Integrating Testing Techniques through Process Programming, Proceedings of the 3rd  Symposium on Testing, Analysis and Verification (SIGSoft'89/TAV), Key West, Florida, December 1989, 219-228.

  122. ✦Lori A. Clarke, Andy Podgurski, Debra J. Richardson and Steven J. Zeil. A Formal Evaluation of Data Flow Path Selection Criteria, IEEE Transactions on Software Engineering, November 1989, vol. 15, no. 11, 1318-1332.

  123. ✦Lori A. Clarke, Debra J. Richardson and Steven J. Zeil. Team: A Support Environment for Testing, Evaluation, and Analysis, Proceedings of the 3rd  Symposium on Testing, Analysis and Verification (SIGSoft'89/TAV), Boston, Massachusetts, November 1988, 153-162.

  124. ✦Debra J. Richardson and Margaret C. Thompson. The Relay Model of Error Detection and its Application, Proceedings of the 2nd Workshop on Testing, Analysis and Verification (TAV), Banff, Canada, July 1988, 223-230.

  125. ✦Lori A. Clarke and Debra J. Richardson. Evaluation and Integration of Software Testing Techniques, Proceedings of the Canadian Information Processing Society Intelligence Integration Conference, Edmonton, Alberta, Canada, November 1987, 350-354.

  126. ✦Debra J. Richardson and Margaret C. Thompson. Test Data Selection Using the Relay Model of Error Detection, Proceedings of the 5th Pacific Northwest Software Quality Conference (PNSQ), Portland, Oregon, October 1987, 327-343.

  127. ✦Lori A. Clarke, Andy Podgurski, Debra J. Richardson and Steven J. Zeil. An Investigation of Data Flow Path Selection Criteria, Proceedings of the 1st Workshop on Software Testing, Banff, Canada, July 1986, 23-32.

  128. ✦Debra J. Richardson and Lori A. Clarke. Partition Analysis: A Method Combining Testing and Verification, IEEE Transactions on Software Engineering, December 1985, vol. 11, no. 12, 1477-1490.

  129. ✦Lori A. Clarke, Andy Podgurski, Debra J. Richardson and Steven J. Zeil. A Comparison of Data Flow Path Selection Criteria, Proceedings of the 8th International Conference on Software Engineering (ICSE), London, England, August 1985, 244-251. “Most Influential Paper” award for ICSE-8.

  130. ✦At 18th International Conference on Software Engineering (Berlin, Germany), paper  was judged to have had significant impact on the software engineering field ten years after its publication and received “Most Influential Paper” award for 8th ICSE.

  131. ✦Lori A. Clarke and Debra J. Richardson. Applications of Symbolic Evaluation, Journal of Systems and Software, January 1985, vol. 58, no. 1, 5-35.

  132. ✦Debra J. Richardson and Lori A. Clarke. Testing Techniques Based on Symbolic Evaluation, in Software: Requirements, Specification and Testing, editor T. Anderson, Blackwell Scientific Publications Ltd., 1985, 93-110.

  133. ✦Lori A. Clarke and Debra J. Richardson. Symbolic Evaluation - An Aid to Testing and Verification, in Software Validation, editor H.-L. Hausen. North-Holland Publishing Company, 1984, 141-166

  134. ✦Lori A. Clarke and Debra J. Richardson. The Application of Error-Sensitive Testing Strategies to Debugging, Proceedings of the ACM Software Engineering Symposium on High-Level Debugging, March 1983, August 1983, 45-52.

  135. ✦Lori A. Clarke and Debra J. Richardson. A Rigorous Approach to Error-Sensitive Testing, Proceedings of the 16th Hawaii International Conference on System Sciences (HICSS), January 1983, 197-206.

  136. ✦Debra J. Richardson and Lori A. Clarke. On the Effectiveness of the Partition Analysis Method, Proceedings of the 6th International Computer Software and Applications Conference (COMPSAC), November 1982, 529-538.

  137. ✦Lori A. Clarke and Debra J. Richardson. Reliable Test Data Selection Strategies - An Integrated Approach, Proceedings of the 4th Israel Conference on Quality Assurance, Israel, October 1982.

  138. ✦Lori A. Clarke, Johnette Hassell and Debra J. Richardson. A Close Look at Domain Testing, IEEE Transactions on Software Engineering, July 1982, vol. 8, no. 4, 380-390

  139. ✦Debra J. Richardson and Lori A. Clarke. The Effectiveness of the Partition Analysis Method, Proceedings of the Workshop on the Effectiveness of Testing and Proving Methods, Avalon, CA, May 1982, 217-234.

  140. ✦Debra J. Richardson and Lori A. Clarke. A Partition Analysis Method to Increase Program Reliability, Proceedings of the 5th International Conference on Software Engineering (ICSE), San Diego, CA, March 1981, 244-253.

  141. ✦Debra J. Richardson and Lori A. Clarke. A Partition Analysis Method to Increase Program Reliability, in Software Testing & Validation Techniques, editors Edward Miller and William E. Howden, IEEE Computer Society Press, 1981, 271-280.

  142. ✦Lori A. Clarke and Debra J. Richardson. Symbolic Evaluation Methods - Implementations and Applications, in Computer Program Testing, editors B. Chandrasekaran and S. Radicchi, North-Holland Publishing Company, 1981, 65-102.

  143. ✦Lori A. Clarke and Debra J. Richardson. Symbolic Evaluation Methods for Program Analysis, in Program Flow Analysis - Theory and Applications, editors S. Muchnick and N. Jones, Prentice Hall, Inc., April 1981, 264-302.

  144. ✦Debra J. Richardson. Theoretical Considerations in Testing Programs by Demonstrating Consistency with Specifications, Digest for the Workshop on Software Testing and Test Documentation, Ft. Lauderdale, Florida, December 1978, 19-56.