Debra J. Richardson

125 papers A* 19A 16B 8C 2Misc 2Journal 31Unranked 46

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Examining the What, Why, and How of Multilingual Student Identity Development in Computer Science. ACM Trans. Comput. Educ. Sharin Rawhiya Jacob, Jonathan Montoya, Ha Nguyen, Debra J. Richardson, Mark Warschauer
2021	A	`conf`	Development and Preliminary Validation of the Assessment of Computing for Elementary Students (ACES). SIGCSE Miranda C. Parker, Yvonne S. Kao, Dana Saito-Stehberger, Diana Franklin, Susan Krause, Debra J. Richardson, Mark Warschauer
2021	A	`conf`	Document Analysis of ECEP Longitudinal Data: A Case Study with Indiana. SIGCSE 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
2021	A	`conf`	Leveraging Collective Impact to Promote Systemic Change in CS Education. SIGCSE Carol L. Fletcher, Sarah T. Dunton, Ryan Torbey, John Goodhue, Maureen Biggers, Joshua Childs, Leigh Ann DeLyser, Anne Leftwich, Debra J. Richardson
2020	J	`jnl`	Computer-Aided Personalized Education. CoRR 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
2020	—	`conf`	Computing to Change the World for the Better: A Research-Focused Workshop for Women. RESPECT Shadnaz Asgari, Birgit Penzenstadler, Alvaro E. Monge, Debra J. Richardson
2020	J	`jnl`	High School Teachers' Self-efficacy in Teaching Computer Science. ACM Trans. Comput. Educ. Ninger Zhou, Ha Nguyen, Christian Fischer, Debra J. Richardson, Mark Warschauer
2020	—	`conf`	Reflection as Formative Assessment of Computational Thinking in Elementary Grades. ICLS Ha Nguyen, Leiny Garcia, Sharin Rawhiya Jacob, Debra J. Richardson, Mark Warschauer
2020	J	`jnl`	Safety, Security, and Privacy Threats Posed by Accelerating Trends in the Internet of Things. CoRR Kevin Fu, Tadayoshi Kohno, Daniel Lopresti, Elizabeth D. Mynatt, Klara Nahrstedt, Shwetak N. Patel, Debra J. Richardson, Benjamin G. Zorn
2020	A	`conf`	Supporting Students from Underrepresented Groups to Succeed in Computing: Research and Programs in Community College. SIGCSE Debra J. Richardson, Amardeep Kahlon, Cheryl Calhoun, Shannon Campe
2020	J	`jnl`	Teacher Perceptions of Equity in High School Computer Science Classrooms. ACM Trans. Comput. Educ. Ninger Zhou, Yucheng Cao, Sharin Rawhiya Jacob, Debra J. Richardson
2020	—	`conf`	Teachers' Use of Video Reflections to Reinforce Computer Science Language and Concepts. RESPECT Ha Nguyen, Leiny Garcia, Sharin Rawhiya Jacob, Debra J. Richardson, Mark Warschauer
2020	—	`conf`	Teaching Computational Thinking to Multilingual Students through Inquiry-based Learning. RESPECT Sharin Rawhiya Jacob, Ha Nguyen, Leiny Garcia, Debra J. Richardson, Mark Warschauer
2018	J	`jnl`	A holistic look at requirements engineering practices in the gaming industry. CoRR Aftab Hussain, Omar Asadi, Debra J. Richardson
2018	J	`jnl`	ACM RETENTION COMMITTEE: Student-focused initiatives for retaining students in computing programs. Inroads Debra J. Richardson
2017	J	`jnl`	Intelligent Infrastructure for Smart Agriculture: An Integrated Food, Energy and Water System. CoRR Shashi Shekhar, Joe Colletti, Francisco Muñoz-Arriola, Lakshmish Ramaswamy, Chandra Krintz, Lav R. Varshney, Debra J. Richardson
2016	J	`jnl`	Bridging communities: ICT4Sustainability @iConference 2015. Interactions Birgit Penzenstadler, Ankita Raturi, Christoph Becker, Juliet Norton, Bill Tomlinson, Michael Six Silberman, Debra J. Richardson
2015	J	`jnl`	Collapse (and other futures) software engineering. First Monday Birgit Penzenstadler, Ankita Raturi, Debra J. Richardson, Michael Six Silberman, Bill Tomlinson
2015	—	`ch.`	Green Software Engineering Environments. Green in Software Engineering Ankita Raturi, Bill Tomlinson, Debra J. Richardson
2015	—	`conf`	Supporting Physicians by RE4S: Evaluating Requirements Engineering for Sustainability in the Medical Domain. GREENS Birgit Penzenstadler, Joseph Mehrabi, Debra J. Richardson
2015	—	`conf`	Toward Alternative Decentralized Infrastructures. ACM DEV Bill Tomlinson, Bonnie A. Nardi, Donald J. Patterson, Ankita Raturi, Debra J. Richardson, Jean-Daniel Saphores, Dan Stokols
2014	—	`conf`	Developing a sustainability non-functional requirements framework. GREENS Ankita Raturi, Birgit Penzenstadler, Bill Tomlinson, Debra J. Richardson
2014	—	`conf`	ICT4S 2029: What will be the systems supporting sustainability in 15 years. ICT4S Birgit Penzenstadler, Bill Tomlinson, Eric P. S. Baumer, Marcel Pufal, Ankita Raturi, Debra J. Richardson, Baki Cakici, Ruzanna Chitchyan
2014	J	`jnl`	Safety, Security, Now Sustainability: The Nonfunctional Requirement for the 21st Century. IEEE Softw. Birgit Penzenstadler, Ankita Raturi, Debra J. Richardson, Bill Tomlinson
2014	A	`conf`	Systematic mapping study on software engineering for sustainability (SE4S). EASE Birgit Penzenstadler, Ankita Raturi, Debra J. Richardson, Coral Calero, Henning Femmer, Xavier Franch
2014	—	`conf`	Using Non-Profit Partners to Engage Students in RE. REET Birgit Penzenstadler, Debra J. Richardson, Beth Karlin, Allison Cook, David Callele, Krzysztof Wnuk
2013	—	`conf`	A proposed recommender system for eliciting software sustainability requirements. USER@ICSE Kristin Roher, Debra J. Richardson
2013	—	`conf`	Sustainability requirement patterns. RePa Kristin Roher, Debra J. Richardson
2013	A	`conf`	The requirements engineering body of knowledge (REBoK). RE Birgit Penzenstadler, Daniel Méndez Fernández, Debra J. Richardson, David Callele, Krzysztof Wnuk
2013	—	`conf`	Who is the advocate? Stakeholders for sustainability. GREENS Birgit Penzenstadler, Henning Femmer, Debra J. Richardson
2012	J	`jnl`	Computer Science Education Week shines in 2011. ACM SIGCSE Bull. Debra J. Richardson
2011	J	`jnl`	CSE week wants you. ACM SIGCSE Bull. Debra J. Richardson, Ruthe Farmer, Cameron Wilson
2011	—	`conf`	Evolving requirements in patient-centered software. SEHC@ICSE Kristina Winbladh, Hadar Ziv, Debra J. Richardson
2011	J	`jnl`	Why Computer Science Ed Week? ACM SIGCSE Bull. Debra J. Richardson, Ruthe Farmer
2010	A	`conf`	ASSURE: automated support for secure and usable requirements engineering. ISSTA Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson
2010	A	`conf`	Design and evaluation of a computer science and engineering course for middle school girls. SIGCSE Gabriela Marcu, Samuel J. Kaufman, Jaihee Kate Lee, Rebecca W. Black, Paul Dourish, Gillian R. Hayes, Debra J. Richardson
2010	—	`conf`	Formality of the Security Specification Process: Benefits Beyond Requirements. HICSS Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson
2010	—	`conf`	Increasing Trustworthiness through Security Testing Support. SocialCom/PASSAT Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson
2010	A	`conf`	MbSRT2: Model-Based Selective Regression Testing with Traceability. ICST Leila Naslavsky, Hadar Ziv, Debra J. Richardson
2010	—	`conf`	Requirements engineering at the margins: avoiding technological hubris through alternative approaches. FoSER Debra J. Richardson, Ban Al-Ani, Hadar Ziv
2010	—	`conf`	iMuse: interactive model-based use-case and storytelling environment. SIGSOFT FSE Kristina Winbladh, Hadar Ziv, Debra J. Richardson
2009	—	`conf`	A model-based regression test selection technique. ICSM Leila Naslavsky, Hadar Ziv, Debra J. Richardson
2009	Misc	`conf`	Eliciting required characteristics for usable requirements engineering approaches. SAC Kristina Winbladh, Hadar Ziv, Debra J. Richardson
2009	Misc	`conf`	Later stages support for security requirements. Richard Tapia Celebration of Diversity in Computing Conference Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson
2009	—	`conf`	Towards usable cyber security requirements. CSIIRW Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson, Dennis Bystritsky
2008	—	`conf`	SRRS: a recommendation system for security requirements. RSSE@SIGSOFT FSE Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson
2008	A	`conf`	Statistical Sampling Based Approach to Alleviate Log Replay Testing. ICST Ravidutta Kodre, Hadar Ziv, Debra J. Richardson
2008	—	`conf`	Using Model Transformation to Support Model-Based Test Coverage Measurement. AST@ICSE Leila Naslavsky, Hadar Ziv, Debra J. Richardson
2007	C	`conf`	CCARCH: Architecting Common Criteria Security Requirements. IAS Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson
2007	C	`conf`	In the Requirements Lies the Power. SEKE Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson
2007	B	`conf`	Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios. WADS Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson
2007	A*	`conf`	Towards leveraging model transformation to support model-based testing. ASE Leila Naslavsky, Hadar Ziv, Debra J. Richardson
2007	—	`conf`	Towards traceability of model-based testing artifacts. A-MOST Leila Naslavsky, Hadar Ziv, Debra J. Richardson
2007	A*	`conf`	Using traceability to support model-based regression testing. ASE Leila Naslavsky, Debra J. Richardson
2006	A*	`conf`	An Automated Approach for Goal-driven, Specification-based Testing. ASE Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson
2006	J	`jnl`	An architectural pattern for non-functional dependability requirements. J. Syst. Softw. Lihua Xu, Hadar Ziv, Thomas A. Alspaugh, Debra J. Richardson
2006	—	`conf`	Architecture-based testing using goals and plans. ROSATEA Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson
2006	A*	`conf`	LtRules: an automated software library usage rule extraction tool. ICSE Chang Liu, En Ye, Debra J. Richardson
2006	—	`conf`	OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS). OOPSLA Companion Wolfgang Grieskamp, Debra J. Richardson, Clay E. Williams
2006	A*	`conf`	Software Library Usage Pattern Extraction Using a Software Model Checker. ASE Chang Liu, En Ye, Debra J. Richardson
2006	J	`jnl`	Software architecture-based regression testing. J. Syst. Softw. Henry Muccini, Marcio S. Dias, Debra J. Richardson
2006	—	`conf`	The i-School movement. ASIST Andrew Dillon, Harry Bruce, Michèle Valerie Cloonan, John L. King, Debra J. Richardson, Linda Smith, James Thomas, Raymond F. von Dran
2006	—	`conf`	Towards supporting the architecture design process through evaluation of design alternatives. ROSATEA Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hadar Ziv, André van der Hoek, Debra J. Richardson
2005	A*	`conf`	A B.S. degree in informatics: contextualizing software engineering education. ICSE André van der Hoek, David G. Kay, Debra J. Richardson
2005	—	`conf`	An architectural pattern for non-functional dependability requirements. WADS@ICSE Lihua Xu, Hadar Ziv, Debra J. Richardson, Thomas A. Alspaugh
2005	J	`jnl`	An architectural pattern for non-functional dependability requirements. ACM SIGSOFT Softw. Eng. Notes Lihua Xu, Hadar Ziv, Debra J. Richardson, Thomas A. Alspaugh
2005	B	`conf`	Extending undergraduate CS programs with informatics: emphasizing software and system design in context. ITiCSE David G. Kay, André van der Hoek, Debra J. Richardson
2005	—	`conf`	Informatics: A Novel, Contextualized Approach to Software Engineering Education. Software Education and Training Sessions @ ICSE André van der Hoek, David G. Kay, Debra J. Richardson
2005	—	`conf`	Informatics: Contextualizing Computer Science and Software Engineering Education. CSEE&T Debra J. Richardson
2005	A	`conf`	Informatics: a focus on computer science in context. SIGCSE David G. Kay, André van der Hoek, Debra J. Richardson
2005	—	`conf`	Reasoning About Software Architecture-Based Regression Testing Through a Case Study. COMPSAC (2) Henry Muccini, Marcio S. Dias, Debra J. Richardson
2005	J	`jnl`	Scenarios, state machines and purpose-driven testing. ACM SIGSOFT Softw. Eng. Notes Thomas A. Alspaugh, Debra J. Richardson, Thomas A. Standish
2005	—	`conf`	Towards software architecture-based regression testing. WADS@ICSE Henry Muccini, Marcio S. Dias, Debra J. Richardson
2005	J	`jnl`	Towards software architecture-based regression testing. ACM SIGSOFT Softw. Eng. Notes Henry Muccini, Marcio S. Dias, Debra J. Richardson
2005	—	`conf`	Using scenarios to support traceability. TEFSE@ASE Leila Naslavsky, Thomas A. Alspaugh, Debra J. Richardson, Hadar Ziv
2004	B	`conf`	Adaptable Analysis of Dependable System Architectures Through Monitoring. WADS Marcio S. Dias, Debra J. Richardson
2004	B	`conf`	Generating Regression Tests via Model Checking. COMPSAC Lihua Xu, Marcio S. Dias, Debra J. Richardson
2004	—	`conf`	Multiply-deployed residual testing at the object level. IASTED Conf. on Software Engineering Leila Naslavsky, Marcio S. Dias, Debra J. Richardson
2004	—	`conf`	Regression testing via model checking. IASTED Conf. on Software Engineering Lihua Xu, Marcio S. Dias, Debra J. Richardson
2004	B	`conf`	Systematic Testing of Software Architectures in the C2 Style. FASE Henry Muccini, Marcio S. Dias, Debra J. Richardson
2004	—	`conf`	Towards A Practical Approach to Test Aspect-Oriented Software. SOQUA/TECOS Yuewei Zhou, Hadar Ziv, Debra J. Richardson
2002	A*	`conf`	Analyzing Dependencies in Large Component-Based Systems. ASE Marlon E. R. Vieira, Debra J. Richardson
2002	A*	`conf`	Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. ASE Marcio S. Dias, Debra J. Richardson
2002	J	`jnl`	Research directions in RAIC. ACM SIGSOFT Softw. Eng. Notes Chang Liu, Debra J. Richardson
2002	B	`conf`	The Role of Event Description in Architecting Dependable Systems. WADS Marcio S. Dias, Debra J. Richardson
2002	—	`conf`	The role of dependencies in component-based systems evolution. IWPSE Marlon E. R. Vieira, Debra J. Richardson
2002	B	`conf`	Using RAIC for Dependable On-line Upgrading of Distributed Systems. COMPSAC Chang Liu, Debra J. Richardson
2001	—	`conf`	Analyzing Software Architecture Based on Statechart Semantics. SBES Marcio S. Dias, Marlon E. R. Vieira, Debra J. Richardson
2000	A*	`conf`	Analyzing software architectures with Argus-I. ICSE Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson
2000	A*	`conf`	Automated Security Checking and Patching Using TestTalk. ASE Chang Liu, Debra J. Richardson
2000	J	`jnl`	DAS-BOOT: design-, architecture- and specification-based approaches to object-oriented testing. ACM SIGSOFT Softw. Eng. Notes Debra J. Richardson
2000	A	`ed.`	Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000 ISSTA Debra J. Richardson, Mary Jean Harold
2000	J	`jnl`	Siddhartha - automated test driver-oracle synthesis. ACM SIGSOFT Softw. Eng. Notes Debra J. Richardson
2000	J	`jnl`	SoBelt: structural and behavioral execution instrumentation tool. ACM SIGSOFT Softw. Eng. Notes Debra J. Richardson
2000	J	`jnl`	TestTalk: software test description language. ACM SIGSOFT Softw. Eng. Notes Debra J. Richardson
2000	A*	`conf`	Using application states in software testing (poster). ICSE Chang Liu, Debra J. Richardson
1999	J	`jnl`	ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing. ACM SIGSOFT Softw. Eng. Notes Debra J. Richardson, Paola Inverardi
1999	A*	`conf`	Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. ASE Arthur Alexander Reyes, Debra J. Richardson
1999	—	`conf`	Structural Specification-Based Testing: Automated Support and Experimental Evaluation. ESEC / SIGSOFT FSE Juei Chang, Debra J. Richardson
1999	A*	`conf`	Towards Discovery, Specification, and Verification of Component Usage. ASE Chang Liu, Debra J. Richardson
1998	A*	`conf`	ADLscope: An Automated Specification-based Unit Testing Tool. ASE Juei Chang, Debra J. Richardson
1998	A*	`conf`	Specification-based Testing of Ada Units with Low Encapsulation. ASE Arthur Alexander Reyes, Debra J. Richardson
1998	A	`conf`	The Most Influential Papers from the ISSTA Research Community (Panel). ISSTA Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson
1997	—	`conf`	Constructing Bayesian-network models of software testing and maintenance uncertainties. ICSM Hadar Ziv, Debra J. Richardson
1996	A*	`conf`	An Evaluation of Software Test Environment Architectures. ICSE Nancy S. Eickelmann, Debra J. Richardson
1996	B	`conf`	Legal Sufficiency of Testing Processes. SAFECOMP Clark Savage Turner, Debra J. Richardson, John L. King
1996	—	`conf`	Software testing at the architectural level. ISAW/Viewpoints@FSE Debra J. Richardson, Alexander L. Wolf
1996	A	`conf`	Structural Specification-Based Testing with ADL. ISSTA Juei Chang, Debra J. Richardson, Sriram Sankar
1996	—	`conf`	What makes one software architecture more testable than another? ISAW/Viewpoints@FSE Nancy S. Eickelmann, Debra J. Richardson
1994	A	`conf`	TAOS: Testing with Analysis and Oracle Support. ISSTA Debra J. Richardson
1993	J	`jnl`	An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection. IEEE Trans. Software Eng. Debra J. Richardson, Margaret C. Thompson
1993	A	`conf`	An Information Flow Model of Fault Detection. ISSTA Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke
1992	—	`conf`	Developing and integrating ProDAG in the Arcadia environment. SDE Debra J. Richardson, T. Owen O'Malley, Cynthia Tittle Moore, Stephanie Leif Aha
1992	A*	`conf`	Specification-Based Test Oracles for Reactive Systems. ICSE Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley
1989	J	`jnl`	A Formal Evaluation of Data Flow Path Selection Criteria. IEEE Trans. Software Eng. Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
1989	—	`conf`	Approaches to Specification-Based Testing. Symposium on Testing, Analysis, and Verification Debra J. Richardson, T. Owen O'Malley, C. Tittle
1989	—	`conf`	Integrating Testing Techniques Through Process Programming. Symposium on Testing, Analysis, and Verification Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil
1988	—	`conf`	TEAM: A Support Environment for Testing, Evaluation, and Analysis. Software Development Environments (SDE) Lori A. Clarke, Debra J. Richardson, Steven J. Zeil
1985	A*	`conf`	A Comparison of Data Flow Path Selection Criteria. ICSE Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
1985	J	`jnl`	Applications of symbolic evaluation. J. Syst. Softw. Lori A. Clarke, Debra J. Richardson
1985	J	`jnl`	Partition Analysis: A Method Combining Testing and Verification. IEEE Trans. Software Eng. Debra J. Richardson, Lori A. Clarke
1984	J	`jnl`	A reply to Foster's "Comment on 'The application of error-sensitive testing strategies to debugging'". ACM SIGSOFT Softw. Eng. Notes Lori A. Clarke, Debra J. Richardson
1983	—	`conf`	The application of error-sensitive testing strategies to debugging. SIGSOFT Lori A. Clarke, Debra J. Richardson
1982	J	`jnl`	A Close Look at Domain Testing. IEEE Trans. Software Eng. Lori A. Clarke, Johnette Hassell, Debra J. Richardson
1981	A*	`conf`	A Partition Analysis Method to Increase Program Reliability. ICSE Debra J. Richardson, Lori A. Clarke