- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c60 |      | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson: Formality of the Security Specification Process: Benefits Beyond Requirements. HICSS 2010: 1-6 |
| c59 | | Leila Naslavsky, Hadar Ziv, Debra J. Richardson: MbSRT2: Model-Based Selective Regression Testing with Traceability. ICST 2010: 89-98 |
| c58 | | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson: ASSURE: automated support for secure and usable requirements engineering. ISSTA 2010: 279-282 |
| c57 | | Gabriela Marcu, Samuel J. Kaufman, Jaihee Kate Lee, Rebecca W. Black, Paul Dourish, Gillian R. Hayes, Debra J. Richardson: Design and evaluation of a computer science and engineering course for middle school girls. SIGCSE 2010: 234-238 |
| c56 | | Debra J. Richardson, Ban Al-Ani, Hadar Ziv: Requirements engineering at the margins: avoiding technological hubris through alternative approaches. FoSER 2010: 303-308 |
| c55 | | Kristina Winbladh, Hadar Ziv, Debra J. Richardson: iMuse: interactive model-based use-case and storytelling environment. SIGSOFT FSE 2010: 383-384 |
| c54 | | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson: Increasing Trustworthiness through Security Testing Support. SocialCom/PASSAT 2010: 920-925 |
| 2009 | ||
| c53 | | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson, Dennis Bystritsky: Towards usable cyber security requirements. CSIIRW 2009: 64 |
| c52 | | Leila Naslavsky, Hadar Ziv, Debra J. Richardson: A model-based regression test selection technique. ICSM 2009: 515-518 |
| c51 | | Kristina Winbladh, Hadar Ziv, Debra J. Richardson: Eliciting required characteristics for usable requirements engineering approaches. SAC 2009: 360-364 |
| c50 | | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson: Later stages support for security requirements. Richard Tapia Celebration of Diversity in Computing Conference 2009: 103-107 |
| 2008 | ||
| c49 | | Leila Naslavsky, Hadar Ziv, Debra J. Richardson: Using Model Transformation to Support Model-Based Test Coverage Measurement. AST 2008: 1-6 |
| c48 | | Ravidutta Kodre, Hadar Ziv, Debra J. Richardson: Statistical Sampling Based Approach to Alleviate Log Replay Testing. ICST 2008: 533-536 |
| 2007 | ||
| c47 | | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson: CCARCH: Architecting Common Criteria Security Requirements. IAS 2007: 349-356 |
| c46 | | Leila Naslavsky, Hadar Ziv, Debra J. Richardson: Towards traceability of model-based testing artifacts. A-MOST 2007: 105-114 |
| c45 | | Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson: Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios. WADS 2007: 225-247 |
| c44 | | Leila Naslavsky, Hadar Ziv, Debra J. Richardson: Towards leveraging model transformation to support model-based testing. ASE 2007: 509-512 |
| c43 | | Leila Naslavsky, Debra J. Richardson: Using traceability to support model-based regression testing. ASE 2007: 567-570 |
| c42 |  | Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson: In the Requirements Lies the Power. SEKE 2007: 185-190 |
| 2006 | ||
| j11 | | Lihua Xu, Hadar Ziv, Thomas A. Alspaugh, Debra J. Richardson: An architectural pattern for non-functional dependability requirements. Journal of Systems and Software 79(10): 1370-1378 (2006) |
| j10 | | Henry Muccini, Marcio S. Dias, Debra J. Richardson: Software architecture-based regression testing. Journal of Systems and Software 79(10): 1379-1396 (2006) |
| c41 | | |
| c40 | | Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson: Architecture-based testing using goals and plans. ROSATEA 2006: 64-68 |
| c39 | | Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hadar Ziv, André van der Hoek, Debra J. Richardson: Towards supporting the architecture design process through evaluation of design alternatives. ROSATEA 2006: 81-87 |
| c38 | | Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson: An Automated Approach for Goal-driven, Specification-based Testing. ASE 2006: 289-292 |
| c37 | | |
| 2005 | ||
| j9 | | Thomas A. Alspaugh, Debra J. Richardson, Thomas A. Standish: Scenarios, state machines and purpose-driven testing. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| j8 | | Henry Muccini, Marcio S. Dias, Debra J. Richardson: Towards software architecture-based regression testing. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| j7 | | Lihua Xu, Hadar Ziv, Debra J. Richardson, Thomas A. Alspaugh: An architectural pattern for non-functional dependability requirements. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |
| c36 | | Henry Muccini, Marcio S. Dias, Debra J. Richardson: Reasoning About Software Architecture-Based Regression Testing Through a Case Study. COMPSAC (2) 2005: 189-195 |
| c35 | | André van der Hoek, David G. Kay, Debra J. Richardson: Informatics: A Novel, Contextualized Approach to Software Engineering Education. Software Education and Training Sessions @ ICSE 2005: 147-165 |
| c34 | | André van der Hoek, David G. Kay, Debra J. Richardson: A B.S. degree in informatics: contextualizing software engineering education. ICSE 2005: 641-642 |
| c33 | | David G. Kay, André van der Hoek, Debra J. Richardson: Extending undergraduate CS programs with informatics: emphasizing software and system design in context. ITiCSE 2005: 367 |
| c32 | | David G. Kay, André van der Hoek, Debra J. Richardson: Informatics: a focus on computer science in context. SIGCSE 2005: 551-555 |
| 2004 | ||
| c31 | | Lihua Xu, Marcio S. Dias, Debra J. Richardson: Generating Regression Tests via Model Checking. COMPSAC 2004: 336-341 |
| c30 | | Henry Muccini, Marcio S. Dias, Debra J. Richardson: Systematic Testing of Software Architectures in the C2 Style. FASE 2004: 295-309 |
| c29 | | Leila Naslavsky, Marcio S. Dias, Debra J. Richardson: Multiply-deployed residual testing at the object level. IASTED Conf. on Software Engineering 2004: 396-401 |
| c28 | | Lihua Xu, Marcio S. Dias, Debra J. Richardson: Regression testing via model checking. IASTED Conf. on Software Engineering 2004: 402-407 |
| c27 | | Marcio S. Dias, Debra J. Richardson: Adaptable Analysis of Dependable System Architectures Through Monitoring. WADS 2004: 122-147 |
| c26 | | Yuewei Zhou, Hadar Ziv, Debra J. Richardson: Towards A Practical Approach to Test Aspect-Oriented Software. SOQUA/TECOS 2004: 1-16 |
| 2002 | ||
| j6 | | Chang Liu, Debra J. Richardson: Research directions in RAIC. ACM SIGSOFT Software Engineering Notes 27(3): 43-46 (2002) |
| c25 | | Chang Liu, Debra J. Richardson: Using RAIC for Dependable On-line Upgrading of Distributed Systems. COMPSAC 2002: 1006-1011 |
| c24 | | Marcio S. Dias, Debra J. Richardson: The Role of Event Description in Architecting Dependable Systems. WADS 2002: 150-174 |
| c23 | | Marlon E. R. Vieira, Debra J. Richardson: Analyzing Dependencies in Large Component-Based Systems. ASE 2002: 241-244 |
| c22 | | Marcio S. Dias, Debra J. Richardson: Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. ASE 2002: 245-248 |
| 2000 | ||
| c21 | | Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson: Analyzing software architectures with Argus-I. ICSE 2000: 758-761 |
| c20 | | |
| c19 | | |
| 1999 | ||
| c18 | | Juei Chang, Debra J. Richardson: Structural Specification-Based Testing: Automated Support and Experimental Evaluation. ESEC / SIGSOFT FSE 1999: 285-302 |
| c17 | | Arthur Alexander Reyes, Debra J. Richardson: Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. ASE 1999: 81- |
| c16 | | |
| 1998 | ||
| c15 | | Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson: The Most Influential Papers from the ISSTA Research Community (Panel). ISSTA 1998: 49 |
| c14 | | Arthur Alexander Reyes, Debra J. Richardson: Specification-based Testing of Ada Units with Low Encapsulation. ASE 1998: 22-31 |
| c13 | | Juei Chang, Debra J. Richardson: ADLscope: An Automated Specification-based Unit Testing Tool. ASE 1998: 289-292 |
| 1997 | ||
| c12 | | |
| 1996 | ||
| c11 | | Nancy S. Eickelmann, Debra J. Richardson: An Evaluation of Software Test Environment Architectures. ICSE 1996: 353-364 |
| c10 | | Juei Chang, Debra J. Richardson, Sriram Sankar: Structural Specification-Based Testing with ADL. ISSTA 1996: 62-70 |
| 1994 | ||
| c9 | | |
| 1993 | ||
| j5 | | Debra J. Richardson, Margaret C. Thompson: An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection. IEEE Trans. Software Eng. 19(6): 533-553 (1993) |
| c8 | | Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke: An Information Flow Model of Fault Detection. ISSTA 1993: 182-192 |
| 1992 | ||
| c7 | | Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley: Specification-Based Test Oracles for Reactive Systems. ICSE 1992: 105-118 |
| c6 | | Debra J. Richardson, T. Owen O'Malley, Cynthia Tittle Moore, Stephanie Leif Aha: Developing and integrating ProDAG in the Arcadia environment. SDE 1992: 109-119 |
| 1989 | ||
| j4 | | Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil: A Formal Evaluation of Data Flow Path Selection Criteria. IEEE Trans. Software Eng. 15(11): 1318-1332 (1989) |
| c5 | | Debra J. Richardson, T. Owen O'Malley, C. Tittle: Approaches to Specification-Based Testing. Symposium on Testing, Analysis, and Verification 1989: 86-96 |
| c4 | | Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil: Integrating Testing Techniques Through Process Programming. Symposium on Testing, Analysis, and Verification 1989: 219-228 |
| 1988 | ||
| c3 | | Lori A. Clarke, Debra J. Richardson, Steven J. Zeil: TEAM: A Support Environment for Testing, Evaluation, and Analysis. Software Development Environments (SDE) 1988: 153-162 |
| 1985 | ||
| j3 | | Lori A. Clarke, Debra J. Richardson: Applications of symbolic evaluation. Journal of Systems and Software 5(1): 15-35 (1985) |
| j2 | | Debra J. Richardson, Lori A. Clarke: Partition Analysis: A Method Combining Testing and Verification. IEEE Trans. Software Eng. 11(12): 1477-1490 (1985) |
| c2 | | Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil: A Comparison of Data Flow Path Selection Criteria. ICSE 1985: 244-251 |
| 1982 | ||
| j1 | | Lori A. Clarke, Johnette Hassell, Debra J. Richardson: A Close Look at Domain Testing. IEEE Trans. Software Eng. 8(4): 380-390 (1982) |
| 1981 | ||
| c1 | | Debra J. Richardson, Lori A. Clarke: A Partition Analysis Method to Increase Program Reliability. ICSE 1981: 244-253 |
Colors in the list of coauthors
Last update Sun May 19 01:54:18 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page