Debra J. Richardson

According to our database, Debra J. Richardson authored at least 121 papers between 1981 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

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

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

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 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, John Goodhue

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

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

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

2020

High School Teachers' Self-efficacy in Teaching Computer Science.

Ninger Zhou, Ha Nguyen, Christian Fischer, Debra J. Richardson, Mark Warschauer

ACM Trans. Comput. Educ., 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

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

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, Moshe Y. Vardi

CoRR, 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

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 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

Proceedings of the Research on Equity and Sustained Participation in Engineering, 2020

Teaching Computational Thinking to Multilingual Students through Inquiry-based Learning.

Sharin Rawhiya Jacob, Ha Nguyen, Leiny Garcia, Debra J. Richardson, Mark Warschauer

Proceedings of the Research on Equity and Sustained Participation in Engineering, 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

Proceedings of the Research on Equity and Sustained Participation in Engineering, 2020

Reflection as Formative Assessment of Computational Thinking in Elementary Grades.

Ha Nguyen, Leiny Garcia, Sharin Rawhiya Jacob, Debra J. Richardson, Mark Warschauer

Proceedings of the Interdisciplinarity in the Learning Sciences: Proceedings of the 14th International Conference of the Learning Sciences, 2020

2018

ACM RETENTION COMMITTEE: Student-focused initiatives for retaining students in computing programs.

Debra J. Richardson

Inroads, 2018

A holistic look at requirements engineering practices in the gaming industry.

Aftab Hussain, Omar Asadi, Debra J. Richardson

CoRR, 2018

2017

Intelligent Infrastructure for Smart Agriculture: An Integrated Food, Energy and Water System.

Shashi Shekhar, Joe Colletti, Francisco Muñoz-Arriola, Lakshmish Ramaswamy, Chandra Krintz, Lav R. Varshney, Debra J. Richardson

CoRR, 2017

2016

Bridging communities: ICT4Sustainability @iConference 2015.

Birgit Penzenstadler, Ankita Raturi, Christoph Becker, Juliet Norton, Bill Tomlinson, M. Six Silberman, Debra J. Richardson

Interactions, 2016

2015

Collapse (and other futures) software engineering.

Birgit Penzenstadler, Ankita Raturi, Debra J. Richardson, M. Six Silberman, Bill Tomlinson

First Monday, 2015

Supporting Physicians by RE4S: Evaluating Requirements Engineering for Sustainability in the Medical Domain.

Birgit Penzenstadler, Joseph Mehrabi, Debra J. Richardson

Proceedings of the 4th IEEE/ACM International Workshop on Green and Sustainable Software, 2015

Toward Alternative Decentralized Infrastructures.

Bill Tomlinson, Bonnie A. Nardi, Donald J. Patterson, Ankita Raturi, Debra J. Richardson, Jean-Daniel Saphores, Dan Stokols

Proceedings of the 2015 Annual Symposium on Computing for Development, 2015

Green Software Engineering Environments.

Ankita Raturi, Bill Tomlinson, Debra J. Richardson

Proceedings of the Green in Software Engineering, 2015

2014

Safety, Security, Now Sustainability: The Nonfunctional Requirement for the 21st Century.

Birgit Penzenstadler, Ankita Raturi, Debra J. Richardson, Bill Tomlinson

IEEE Softw., 2014

Using Non-Profit Partners to Engage Students in RE.

Birgit Penzenstadler, Debra J. Richardson, Beth Karlin, Allison Cook, David Callele, Krzysztof Wnuk

Proceedings of the 8th Intl. Workshop on Requirements Engineering Education & Training co-located with 22nd International Conference on Requirements Engineering (RE 2014), 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

Proceedings of the ICT for Sustainability 2014 (ICT4S-14), 2014

Developing a sustainability non-functional requirements framework.

Ankita Raturi, Birgit Penzenstadler, Bill Tomlinson, Debra J. Richardson

Proceedings of the 3rd International Workshop on Green and Sustainable Software, 2014

Systematic mapping study on software engineering for sustainability (SE4S).

Birgit Penzenstadler, Ankita Raturi, Debra J. Richardson, Coral Calero, Henning Femmer, Xavier Franch

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

2013

Sustainability requirement patterns.

Kristin Roher, Debra J. Richardson

Proceedings of the Third IEEE International Workshop on Requirements Patterns, RePa 2013, 2013

The requirements engineering body of knowledge (REBoK).

Birgit Penzenstadler, Daniel Méndez Fernández, Debra J. Richardson, David Callele, Krzysztof Wnuk

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

A proposed recommender system for eliciting software sustainability requirements.

Kristin Roher, Debra J. Richardson

Proceedings of the 2nd International Workshop on User Evaluations for Software Engineering Researchers, 2013

Who is the advocate? Stakeholders for sustainability.

Birgit Penzenstadler, Henning Femmer, Debra J. Richardson

Proceedings of the 2nd International Workshop on Green and Sustainable Software, 2013

2012

Computer Science Education Week shines in 2011.

Debra J. Richardson

ACM SIGCSE Bull., 2012

2011

CSE week wants you.

Debra J. Richardson, Ruthe Farmer, Cameron Wilson

ACM SIGCSE Bull., 2011

Why Computer Science Ed Week?

Debra J. Richardson, Ruthe Farmer

ACM SIGCSE Bull., 2011

Evolving requirements in patient-centered software.

Kristina Winbladh, Hadar Ziv, Debra J. Richardson

Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

2010

Increasing Trustworthiness through Security Testing Support.

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson

Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

iMuse: interactive model-based use-case and storytelling environment.

Kristina Winbladh, Hadar Ziv, Debra J. Richardson

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Requirements engineering at the margins: avoiding technological hubris through alternative approaches.

Debra J. Richardson, Ban Al-Ani, Hadar Ziv

Proceedings of the Workshop on Future of Software Engineering Research, 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

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

ASSURE: automated support for secure and usable requirements engineering.

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

MbSRT2: Model-Based Selective Regression Testing with Traceability.

Leila Naslavsky, Hadar Ziv, Debra J. Richardson

Proceedings of the Third International Conference on Software Testing, 2010

Formality of the Security Specification Process: Benefits Beyond Requirements.

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson

Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010

2009

Later stages support for security requirements.

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson

Proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2009: Intellect, 2009

Eliciting required characteristics for usable requirements engineering approaches.

Kristina Winbladh, Hadar Ziv, Debra J. Richardson

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A model-based regression test selection technique.

Leila Naslavsky, Hadar Ziv, Debra J. Richardson

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Towards usable cyber security requirements.

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson, Dennis Bystritsky

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

2008

SRRS: a recommendation system for security requirements.

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson

Proceedings of the 2008 International Workshop on Recommendation Systems for Software Engineering, 2008

Statistical Sampling Based Approach to Alleviate Log Replay Testing.

Ravidutta Kodre, Hadar Ziv, Debra J. Richardson

Proceedings of the First International Conference on Software Testing, 2008

Using Model Transformation to Support Model-Based Test Coverage Measurement.

Leila Naslavsky, Hadar Ziv, Debra J. Richardson

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

2007

In the Requirements Lies the Power.

Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Towards leveraging model transformation to support model-based testing.

Leila Naslavsky, Hadar Ziv, Debra J. Richardson

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Using traceability to support model-based regression testing.

Leila Naslavsky, Debra J. Richardson

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios.

Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Towards traceability of model-based testing artifacts.

Leila Naslavsky, Hadar Ziv, Debra J. Richardson

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

CCARCH: Architecting Common Criteria Security Requirements.

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson

Proceedings of the Third International Symposium on Information Assurance and Security, 2007

2006

An architectural pattern for non-functional dependability requirements.

Lihua Xu, Hadar Ziv, Thomas A. Alspaugh, Debra J. Richardson

J. Syst. Softw., 2006

Software architecture-based regression testing.

Henry Muccini, Marcio S. Dias, Debra J. Richardson

J. Syst. Softw., 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

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

An Automated Approach for Goal-driven, Specification-based Testing.

Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Software Library Usage Pattern Extraction Using a Software Model Checker.

Chang Liu, En Ye, Debra J. Richardson

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 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

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Architecture-based testing using goals and plans.

Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

LtRules: an automated software library usage rule extraction tool.

Chang Liu, En Ye, Debra J. Richardson

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

The i-School movement.

Andrew Dillon, Harry Bruce, Michèle Cloonan, John L. King, Debra J. Richardson, Linda C. Smith, James Thomas, Raymond F. von Dran

Proceedings of the Information Realities: Shaping the Digital Future for All, 2006

2005

Towards software architecture-based regression testing.

Henry Muccini, Marcio S. Dias, Debra J. Richardson

ACM SIGSOFT Softw. Eng. Notes, 2005

Scenarios, state machines and purpose-driven testing.

Thomas A. Alspaugh, Debra J. Richardson, Thomas A. Standish

ACM SIGSOFT Softw. Eng. Notes, 2005

Informatics: a focus on computer science in context.

David G. Kay, André van der Hoek, Debra J. Richardson

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Using scenarios to support traceability.

Leila Naslavsky, Thomas A. Alspaugh, Debra J. Richardson, Hadar Ziv

Proceedings of the 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, 2005

Extending undergraduate CS programs with informatics: emphasizing software and system design in context.

David G. Kay, André van der Hoek, Debra J. Richardson

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Informatics: A Novel, Contextualized Approach to Software Engineering Education.

André van der Hoek, David G. Kay, Debra J. Richardson

Proceedings of the Software Engineering Education in the Modern Age, 2005

A B.S. degree in informatics: contextualizing software engineering education.

André van der Hoek, David G. Kay, Debra J. Richardson

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Informatics: Contextualizing Computer Science and Software Engineering Education.

Debra J. Richardson

Proceedings of the 18th Conference on Software Engineering Education and Training (CSEE&T 2005), 2005

Reasoning About Software Architecture-Based Regression Testing Through a Case Study.

Henry Muccini, Marcio S. Dias, Debra J. Richardson

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Towards A Practical Approach to Test Aspect-Oriented Software.

Yuewei Zhou, Hadar Ziv, Debra J. Richardson

Proceedings of the Testing of Component-Based Systems and Software Quality, 2004

Adaptable Analysis of Dependable System Architectures Through Monitoring.

Marcio S. Dias, Debra J. Richardson

Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Regression testing via model checking.

Lihua Xu, Marcio S. Dias, Debra J. Richardson

Proceedings of the IASTED International Conference on Software Engineering, 2004

Multiply-deployed residual testing at the object level.

Leila Naslavsky, Marcio S. Dias, Debra J. Richardson

Proceedings of the IASTED International Conference on Software Engineering, 2004

Systematic Testing of Software Architectures in the C2 Style.

Henry Muccini, Marcio S. Dias, Debra J. Richardson

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Generating Regression Tests via Model Checking.

Lihua Xu, Marcio S. Dias, Debra J. Richardson

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2002

Research directions in RAIC.

Chang Liu, Debra J. Richardson

ACM SIGSOFT Softw. Eng. Notes, 2002

Analyzing Dependencies in Large Component-Based Systems.

Marlon E. R. Vieira, Debra J. Richardson

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components.

Marcio S. Dias, Debra J. Richardson

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

The role of dependencies in component-based systems evolution.

Marlon E. R. Vieira, Debra J. Richardson

Proceedings of the International Workshop on Principles of Software Evolution, 2002

The Role of Event Description in Architecting Dependable Systems.

Marcio S. Dias, Debra J. Richardson

Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

Using RAIC for Dependable On-line Upgrading of Distributed Systems.

Chang Liu, Debra J. Richardson

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Analyzing Software Architecture Based on Statechart Semantics.

Marcio S. Dias, Marlon E. R. Vieira, Debra J. Richardson

Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

2000

TestTalk: software test description language.

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

Siddhartha - automated test driver-oracle synthesis.

Debra J. Richardson

ACM SIGSOFT Softw. Eng. Notes, 2000

DAS-BOOT: design-, architecture- and specification-based approaches to object-oriented testing.

Debra J. Richardson

ACM SIGSOFT Softw. Eng. Notes, 2000

Automated Security Checking and Patching Using TestTalk.

Chang Liu, Debra J. Richardson

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Analyzing software architectures with Argus-I.

Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Using application states in software testing (poster).

Chang Liu, Debra J. Richardson

Proceedings of the 22nd International Conference on on Software Engineering, 2000

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

Siddhartha: A Method for Developing Domain-Specific Test Driver Generators.

Arthur Alexander Reyes, Debra J. Richardson

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Towards Discovery, Specification, and Verification of Component Usage.

Chang Liu, Debra J. Richardson

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Structural Specification-Based Testing: Automated Support and Experimental Evaluation.

Juei Chang, Debra J. Richardson

Proceedings of the Software Engineering, 1999

1998

Specification-based Testing of Ada Units with Low Encapsulation.

Arthur Alexander Reyes, Debra J. Richardson

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

ADLscope: An Automated Specification-based Unit Testing Tool.

Juei Chang, Debra J. Richardson

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

The Most Influential Papers from the ISSTA Research Community (Panel).

Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997

Constructing Bayesian-network models of software testing and maintenance uncertainties.

Hadar Ziv, Debra J. Richardson

Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

1996

Software testing at the architectural level.

Debra J. Richardson, Alexander L. Wolf

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

What makes one software architecture more testable than another?

Nancy S. Eickelmann, Debra J. Richardson

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Legal Sufficiency of Testing Processes.

Clark Savage Turner, Debra J. Richardson, John L. King

Proceedings of the 15th International Conference on Computer Safety, 1996

Structural Specification-Based Testing with ADL.

Juei Chang, Debra J. Richardson, Sriram Sankar

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

An Evaluation of Software Test Environment Architectures.

Nancy S. Eickelmann, Debra J. Richardson

Proceedings of the 18th International Conference on Software Engineering, 1996

1994

TAOS: Testing with Analysis and Oracle Support.

Debra J. Richardson

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

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

An Information Flow Model of Fault Detection.

Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1992

Developing and integrating ProDAG in the Arcadia environment.

Debra J. Richardson, T. Owen O'Malley, Cynthia Tittle Moore, Stephanie Leif Aha

Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments, 1992

Specification-Based Test Oracles for Reactive Systems.

Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley

Proceedings of the 14th International Conference on Software Engineering, 1992

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

Approaches to Specification-Based Testing.

Debra J. Richardson, T. Owen O'Malley, C. Tittle

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Integrating Testing Techniques Through Process Programming.

Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988

TEAM: A Support Environment for Testing, Evaluation, and Analysis.

Lori A. Clarke, Debra J. Richardson, Steven J. Zeil

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

1985

Partition Analysis: A Method Combining Testing and Verification.

Debra J. Richardson, Lori A. Clarke

IEEE Trans. Software Eng., 1985

Applications of symbolic evaluation.

Lori A. Clarke, Debra J. Richardson

J. Syst. Softw., 1985

A Comparison of Data Flow Path Selection Criteria.

Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil

Proceedings of the Proceedings, 1985

1984

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

1983

The application of error-sensitive testing strategies to debugging.

Lori A. Clarke, Debra J. Richardson

Proceedings of the symposium on High-level debugging, 1983

1982

A Close Look at Domain Testing.

Lori A. Clarke, Johnette Hassell, Debra J. Richardson

IEEE Trans. Software Eng., 1982

1981

A Partition Analysis Method to Increase Program Reliability.

Debra J. Richardson, Lori A. Clarke

Proceedings of the 5th International Conference on Software Engineering, 1981