A Partition Analysis Method to Increase Program Reliability. - Debra J. Richardson; Lori A. Clarke (ICSE, 1981)

A Close Look at Domain Testing. - Lori A. Clarke; Johnette Hassell; Debra J. Richardson (IEEE Trans. Software Eng., 1982)

The application of error-sensitive testing strategies to debugging. - Lori A. Clarke; Debra J. Richardson (SIGSOFT, 1983)

A reply to Foster's "Comment on 'The application of error-sensitive testing strategies to debugging'". - Lori A. Clarke; Debra J. Richardson (ACM SIGSOFT Softw. Eng. Notes, 1984)

A Comparison of Data Flow Path Selection Criteria. - Lori A. Clarke; Andy Podgurski; Debra J. Richardson; Steven J. Zeil (ICSE, 1985)

Applications of symbolic evaluation. - Lori A. Clarke; Debra J. Richardson (J. Syst. Softw., 1985)

Partition Analysis: A Method Combining Testing and Verification. - Debra J. Richardson; Lori A. Clarke (IEEE Trans. Software Eng., 1985)

TEAM: A Support Environment for Testing, Evaluation, and Analysis. - Lori A. Clarke; Debra J. Richardson; Steven J. Zeil (Software Development Environments (SDE), 1988)

Integrating Testing Techniques Through Process Programming. - Debra J. Richardson; Stephanie Leif Aha; Leon J. Osterweil (Symposium on Testing, Analysis, and Verification, 1989)

Approaches to Specification-Based Testing. - Debra J. Richardson; T. Owen O'Malley; C. Tittle (Symposium on Testing, Analysis, and Verification, 1989)

A Formal Evaluation of Data Flow Path Selection Criteria. - Lori A. Clarke; Andy Podgurski; Debra J. Richardson; Steven J. Zeil (IEEE Trans. Software Eng., 1989)

Specification-Based Test Oracles for Reactive Systems. - Debra J. Richardson; Stephanie Leif Aha; T. Owen O'Malley (ICSE, 1992)

Developing and integrating ProDAG in the Arcadia environment. - Debra J. Richardson; T. Owen O'Malley; Cynthia Tittle Moore; Stephanie Leif Aha (SDE, 1992)

An Information Flow Model of Fault Detection. - Margaret C. Thompson; Debra J. Richardson; Lori A. Clarke (ISSTA, 1993)

An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection. - Debra J. Richardson; Margaret C. Thompson (IEEE Trans. Software Eng., 1993)

TAOS: Testing with Analysis and Oracle Support. - Debra J. Richardson (ISSTA, 1994)

An Evaluation of Software Test Environment Architectures. - Nancy S. Eickelmann; Debra J. Richardson (ICSE, 1996)

Structural Specification-Based Testing with ADL. - Juei Chang; Debra J. Richardson; Sriram Sankar (ISSTA, 1996)

Legal Sufficiency of Testing Processes. - Clark Savage Turner; Debra J. Richardson; John L. King (SAFECOMP, 1996)

What makes one software architecture more testable than another? - Nancy S. Eickelmann; Debra J. Richardson (ISAW/Viewpoints@FSE, 1996)

Software testing at the architectural level. - Debra J. Richardson; Alexander L. Wolf (ISAW/Viewpoints@FSE, 1996)

Constructing Bayesian-network models of software testing and maintenance uncertainties. - Hadar Ziv; Debra J. Richardson (ICSM, 1997)

The Most Influential Papers from the ISSTA Research Community (Panel). - Richard G. Hamlet; Richard A. Kemmerer; Edward F. Miller; Debra J. Richardson (ISSTA, 1998)

ADLscope: An Automated Specification-based Unit Testing Tool. - Juei Chang; Debra J. Richardson (ASE, 1998)

Specification-based Testing of Ada Units with Low Encapsulation. - Arthur Alexander Reyes; Debra J. Richardson (ASE, 1998)

Structural Specification-Based Testing: Automated Support and Experimental Evaluation. - Juei Chang; Debra J. Richardson (ESEC / SIGSOFT FSE, 1999)

Towards Discovery, Specification, and Verification of Component Usage. - Chang Liu 028; Debra J. Richardson (ASE, 1999)

Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. - Arthur Alexander Reyes; Debra J. Richardson (ASE, 1999)

ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing. - Debra J. Richardson; Paola Inverardi (ACM SIGSOFT Softw. Eng. Notes, 1999)

Using application states in software testing (poster). - Chang Liu 028; Debra J. Richardson (ICSE, 2000)

Analyzing software architectures with Argus-I. - Marlon E. R. Vieira; Marcio S. Dias; Debra J. Richardson (ICSE, 2000)

Automated Security Checking and Patching Using TestTalk. - Chang Liu 028; Debra J. Richardson (ASE, 2000)

DAS-BOOT: design-, architecture- and specification-based approaches to object-oriented testing. - Debra J. Richardson (ACM SIGSOFT Softw. Eng. Notes, 2000)

Siddhartha - automated test driver-oracle synthesis. - Debra J. Richardson (ACM SIGSOFT Softw. Eng. Notes, 2000)

SoBelt: structural and behavioral execution instrumentation tool. - Debra J. Richardson (ACM SIGSOFT Softw. Eng. Notes, 2000)

TestTalk: software test description language. - Debra J. Richardson (ACM SIGSOFT Softw. Eng. Notes, 2000)

Analyzing Software Architecture Based on Statechart Semantics. - Marcio S. Dias; Marlon E. R. Vieira; Debra J. Richardson (SBES, 2001)

Using RAIC for Dependable On-line Upgrading of Distributed Systems. - Chang Liu 028; Debra J. Richardson (COMPSAC, 2002)

The Role of Event Description in Architecting Dependable Systems. - Marcio S. Dias; Debra J. Richardson (WADS, 2002)

The role of dependencies in component-based systems evolution. - Marlon E. R. Vieira; Debra J. Richardson (IWPSE, 2002)

Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. - Marcio S. Dias; Debra J. Richardson (ASE, 2002)

Analyzing Dependencies in Large Component-Based Systems. - Marlon E. R. Vieira; Debra J. Richardson (ASE, 2002)

Research directions in RAIC. - Chang Liu 028; Debra J. Richardson (ACM SIGSOFT Softw. Eng. Notes, 2002)

Generating Regression Tests via Model Checking. - Lihua Xu; Marcio S. Dias; Debra J. Richardson (COMPSAC, 2004)

Systematic Testing of Software Architectures in the C2 Style. - Henry Muccini; Marcio S. Dias; Debra J. Richardson (FASE, 2004)

Multiply-deployed residual testing at the object level. - Leila Naslavsky; Marcio S. Dias; Debra J. Richardson (IASTED Conf. on Software Engineering, 2004)

Regression testing via model checking. - Lihua Xu; Marcio S. Dias; Debra J. Richardson (IASTED Conf. on Software Engineering, 2004)

Adaptable Analysis of Dependable System Architectures Through Monitoring. - Marcio S. Dias; Debra J. Richardson (WADS, 2004)

Towards A Practical Approach to Test Aspect-Oriented Software. - Yuewei Zhou; Hadar Ziv; Debra J. Richardson (SOQUA/TECOS, 2004)

Reasoning About Software Architecture-Based Regression Testing Through a Case Study. - Henry Muccini; Marcio S. Dias; Debra J. Richardson (COMPSAC (2), 2005)

Informatics: Contextualizing Computer Science and Software Engineering Education. - Debra J. Richardson (CSEE&T, 2005)

A B.S. degree in informatics: contextualizing software engineering education. - André van der Hoek; David G. Kay; Debra J. Richardson (ICSE, 2005)

Informatics: A Novel, Contextualized Approach to Software Engineering Education. - André van der Hoek; David G. Kay; Debra J. Richardson (Software Education and Training Sessions @ ICSE, 2005)

Extending undergraduate CS programs with informatics: emphasizing software and system design in context. - David G. Kay; André van der Hoek; Debra J. Richardson (ITiCSE, 2005)

Using scenarios to support traceability. - Leila Naslavsky; Thomas A. Alspaugh; Debra J. Richardson; Hadar Ziv (TEFSE@ASE, 2005)

Informatics: a focus on computer science in context. - David G. Kay; André van der Hoek; Debra J. Richardson (SIGCSE, 2005)

Scenarios, state machines and purpose-driven testing. - Thomas A. Alspaugh; Debra J. Richardson; Thomas A. Standish (ACM SIGSOFT Softw. Eng. Notes, 2005)

Towards software architecture-based regression testing. - Henry Muccini; Marcio S. Dias; Debra J. Richardson (ACM SIGSOFT Softw. Eng. Notes, 2005)

The i-School movement. - Andrew Dillon; Harry Bruce; Michèle Valerie Cloonan; John L. King; Debra J. Richardson; Linda Smith 003; James Thomas 010; Raymond F. von Dran (ASIST, 2006)

LtRules: an automated software library usage rule extraction tool. - Chang Liu 028; En Ye; Debra J. Richardson (ICSE, 2006)

Architecture-based testing using goals and plans. - Kristina Winbladh; Thomas A. Alspaugh; Hadar Ziv; Debra J. Richardson (ROSATEA, 2006)

Towards supporting the architecture design process through evaluation of design alternatives. - Lihua Xu; Scott A. Hendrickson; Eric Hettwer; Hadar Ziv; André van der Hoek; Debra J. Richardson (ROSATEA, 2006)

Software Library Usage Pattern Extraction Using a Software Model Checker. - Chang Liu 028; En Ye; Debra J. Richardson (ASE, 2006)

An Automated Approach for Goal-driven, Specification-based Testing. - Kristina Winbladh; Thomas A. Alspaugh; Hadar Ziv; Debra J. Richardson (ASE, 2006)

OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS). - Wolfgang Grieskamp; Debra J. Richardson; Clay E. Williams (OOPSLA Companion, 2006)

Software architecture-based regression testing. - Henry Muccini; Marcio S. Dias; Debra J. Richardson (J. Syst. Softw., 2006)

An architectural pattern for non-functional dependability requirements. - Lihua Xu; Hadar Ziv; Thomas A. Alspaugh; Debra J. Richardson (J. Syst. Softw., 2006)

CCARCH: Architecting Common Criteria Security Requirements. - Jose Romero-Mariona; Hadar Ziv; Debra J. Richardson (IAS, 2007)

Towards traceability of model-based testing artifacts. - Leila Naslavsky; Hadar Ziv; Debra J. Richardson (A-MOST, 2007)

Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios. - Mamadou H. Diallo; Leila Naslavsky; Thomas A. Alspaugh; Hadar Ziv; Debra J. Richardson (WADS, 2007)

Using traceability to support model-based regression testing. - Leila Naslavsky; Debra J. Richardson (ASE, 2007)

Towards leveraging model transformation to support model-based testing. - Leila Naslavsky; Hadar Ziv; Debra J. Richardson (ASE, 2007)

In the Requirements Lies the Power. - Rand Waltzman; Kristina Winbladh; Thomas A. Alspaugh; Debra J. Richardson (SEKE, 2007)

Using Model Transformation to Support Model-Based Test Coverage Measurement. - Leila Naslavsky; Hadar Ziv; Debra J. Richardson (AST, 2008)

Statistical Sampling Based Approach to Alleviate Log Replay Testing. - Ravidutta Kodre; Hadar Ziv; Debra J. Richardson (ICST, 2008)

SRRS: a recommendation system for security requirements. - Jose Romero-Mariona; Hadar Ziv; Debra J. Richardson (RSSE@SIGSOFT FSE, 2008)

Towards usable cyber security requirements. - Jose Romero-Mariona; Hadar Ziv; Debra J. Richardson; Dennis Bystritsky (CSIIRW, 2009)

A model-based regression test selection technique. - Leila Naslavsky; Hadar Ziv; Debra J. Richardson (ICSM, 2009)

Eliciting required characteristics for usable requirements engineering approaches. - Kristina Winbladh; Hadar Ziv; Debra J. Richardson (SAC, 2009)

Later stages support for security requirements. - Jose Romero-Mariona; Hadar Ziv; Debra J. Richardson (Richard Tapia Celebration of Diversity in Computing Conference, 2009)

Formality of the Security Specification Process: Benefits Beyond Requirements. - Jose Romero-Mariona; Hadar Ziv; Debra J. Richardson (HICSS, 2010)

MbSRT2: Model-Based Selective Regression Testing with Traceability. - Leila Naslavsky; Hadar Ziv; Debra J. Richardson (ICST, 2010)

ASSURE: automated support for secure and usable requirements engineering. - Jose Romero-Mariona; Hadar Ziv; Debra J. Richardson (ISSTA, 2010)

Design and evaluation of a computer science and engineering course for middle school girls. - Gabriela Marcu; Samuel J. Kaufman; Jaihee Kate Lee; Rebecca W. Black; Paul Dourish; Gillian R. Hayes; Debra J. Richardson (SIGCSE, 2010)

Requirements engineering at the margins: avoiding technological hubris through alternative approaches. - Debra J. Richardson; Ban Al-Ani; Hadar Ziv (FoSER, 2010)

iMuse: interactive model-based use-case and storytelling environment. - Kristina Winbladh; Hadar Ziv; Debra J. Richardson (SIGSOFT FSE, 2010)

Increasing Trustworthiness through Security Testing Support. - Jose Romero-Mariona; Hadar Ziv; Debra J. Richardson (SocialCom/PASSAT, 2010)

Evolving requirements in patient-centered software. - Kristina Winbladh; Hadar Ziv; Debra J. Richardson (SEHC@ICSE, 2011)

Why Computer Science Ed Week? - Debra J. Richardson; Ruthe Farmer (ACM SIGCSE Bull., 2011)

CSE week wants you. - Debra J. Richardson; Ruthe Farmer; Cameron Wilson (ACM SIGCSE Bull., 2011)

Computer Science Education Week shines in 2011. - Debra J. Richardson (ACM SIGCSE Bull., 2012)

Who is the advocate? Stakeholders for sustainability. - Birgit Penzenstadler; Henning Femmer; Debra J. Richardson (GREENS, 2013)

A proposed recommender system for eliciting software sustainability requirements. - Kristin Roher; Debra J. Richardson (USER@ICSE, 2013)

The requirements engineering body of knowledge (REBoK). - Birgit Penzenstadler; Daniel Méndez Fernández; Debra J. Richardson; David Callele; Krzysztof Wnuk (RE, 2013)

Sustainability requirement patterns. - Kristin Roher; Debra J. Richardson (RePa, 2013)

Systematic mapping study on software engineering for sustainability (SE4S). - Birgit Penzenstadler; Ankita Raturi; Debra J. Richardson; Coral Calero; Henning Femmer; Xavier Franch (EASE, 2014)

Developing a sustainability non-functional requirements framework. - Ankita Raturi; Birgit Penzenstadler; Bill Tomlinson; Debra J. Richardson (GREENS, 2014)

ICT4S 2029: What will be the systems supporting sustainability in 15 years. - Birgit Penzenstadler; Bill Tomlinson; Eric P. S. Baumer; Marcel Pufal; Ankita Raturi; Debra J. Richardson; Baki Cakici; Ruzanna Chitchyan (ICT4S, 2014)

Using Non-Profit Partners to Engage Students in RE. - Birgit Penzenstadler; Debra J. Richardson; Beth Karlin; Allison Cook; David Callele; Krzysztof Wnuk (REET, 2014)

Safety, Security, Now Sustainability: The Nonfunctional Requirement for the 21st Century. - Birgit Penzenstadler; Ankita Raturi; Debra J. Richardson; Bill Tomlinson (IEEE Softw., 2014)

Green Software Engineering Environments. - Ankita Raturi; Bill Tomlinson; Debra J. Richardson (Green in Software Engineering, 2015)

Toward Alternative Decentralized Infrastructures. - Bill Tomlinson; Bonnie A. Nardi; Donald J. Patterson; Ankita Raturi; Debra J. Richardson; Jean-Daniel Saphores; Dan Stokols (ACM DEV, 2015)

Supporting Physicians by RE4S: Evaluating Requirements Engineering for Sustainability in the Medical Domain. - Birgit Penzenstadler; Joseph Mehrabi; Debra J. Richardson (GREENS, 2015)

Collapse (and other futures) software engineering. - Birgit Penzenstadler; Ankita Raturi; Debra J. Richardson; M. Six Silberman; Bill Tomlinson (First Monday, 2015)

Bridging communities: ICT4Sustainability @iConference 2015. - Birgit Penzenstadler; Ankita Raturi; Christoph Becker 001; Juliet Norton; Bill Tomlinson; M. Six Silberman; Debra J. Richardson (Interactions, 2016)

Intelligent Infrastructure for Smart Agriculture: An Integrated Food, Energy and Water System. - Shashi Shekhar 001; Joe Colletti; Francisco Muñoz-Arriola; Lakshmish Ramaswamy; Chandra Krintz; Lav R. Varshney; Debra J. Richardson (CoRR, 2017)

A holistic look at requirements engineering practices in the gaming industry. - Aftab Hussain 001; Omar Asadi; Debra J. Richardson (CoRR, 2018)

ACM RETENTION COMMITTEE: Student-focused initiatives for retaining students in computing programs. - Debra J. Richardson (Inroads, 2018)

Reflection as Formative Assessment of Computational Thinking in Elementary Grades. - Ha Nguyen; Leiny Garcia; Sharin Rawhiya Jacob; Debra J. Richardson; Mark Warschauer (ICLS, 2020)

Computing to Change the World for the Better: A Research-Focused Workshop for Women. - Shadnaz Asgari; Birgit Penzenstadler; Alvaro E. Monge; Debra J. Richardson (RESPECT, 2020)

Teaching Computational Thinking to Multilingual Students through Inquiry-based Learning. - Sharin Rawhiya Jacob; Ha Nguyen; Leiny Garcia; Debra J. Richardson; Mark Warschauer (RESPECT, 2020)

Teachers' Use of Video Reflections to Reinforce Computer Science Language and Concepts. - Ha Nguyen; Leiny Garcia; Sharin Rawhiya Jacob; Debra J. Richardson; Mark Warschauer (RESPECT, 2020)

Supporting Students from Underrepresented Groups to Succeed in Computing: Research and Programs in Community College. - Debra J. Richardson; Amardeep Kahlon; Cheryl Calhoun; Shannon Campe (SIGCSE, 2020)

Computer-Aided Personalized Education. - Rajeev Alur; Richard G. Baraniuk; Rastislav Bodík; Ann W. Drobnis; Sumit Gulwani; Bjoern Hartmann; Yasmin B. Kafai; Jeff Karpicke; Ran Libeskind-Hadas; Debra J. Richardson; Armando Solar-Lezama; Candace Thille; et al. (CoRR, 2020)

Safety, Security, and Privacy Threats Posed by Accelerating Trends in the Internet of Things. - Kevin Fu; Tadayoshi Kohno; Daniel Lopresti; Elizabeth D. Mynatt; Klara Nahrstedt; Shwetak N. Patel; Debra J. Richardson; Benjamin G. Zorn (CoRR, 2020)

Teacher Perceptions of Equity in High School Computer Science Classrooms. - Ninger Zhou; Yucheng Cao; Sharin Rawhiya Jacob; Debra J. Richardson (ACM Trans. Comput. Educ., 2020)

High School Teachers' Self-efficacy in Teaching Computer Science. - Ninger Zhou; Ha Nguyen; Christian Fischer 007; Debra J. Richardson; Mark Warschauer (ACM Trans. Comput. Educ., 2020)

Leveraging Collective Impact to Promote Systemic Change in CS Education. - Carol L. Fletcher; Sarah T. Dunton; Ryan Torbey; John Goodhue; Maureen Biggers; Joshua Childs; Leigh Ann DeLyser; Anne Leftwich; Debra J. Richardson (SIGCSE, 2021)

Document Analysis of ECEP Longitudinal Data: A Case Study with Indiana. - Minji Jeon; Jacob Koressel; Anne T. Ottenbreit-Leftwich; Alan Peterfreund; Sarah Dunton; Jeffrey Xavier; Carol L. Fletcher; Rebecca Zarch; Maureen Biggers; Debra J. Richardson; Joshua Childs; Leigh Ann DeLyser; et al. (SIGCSE, 2021)

Development and Preliminary Validation of the Assessment of Computing for Elementary Students (ACES). - Miranda C. Parker; Yvonne S. Kao; Dana Saito-Stehberger; Diana Franklin; Susan Krause; Debra J. Richardson; Mark Warschauer (SIGCSE, 2021)

Examining the What, Why, and How of Multilingual Student Identity Development in Computer Science. - Sharin Rawhiya Jacob; Jonathan Montoya; Ha Nguyen; Debra J. Richardson; Mark Warschauer (ACM Trans. Comput. Educ., 2022)