| 2009 |
|---|
| 58 | EE | Kristina Winbladh,
Hadar Ziv,
Debra J. Richardson:
Eliciting required characteristics for usable requirements engineering approaches.
SAC 2009: 360-364 |
| 2008 |
|---|
| 57 | EE | Ravidutta Kodre,
Hadar Ziv,
Debra J. Richardson:
Statistical Sampling Based Approach to Alleviate Log Replay Testing.
ICST 2008: 533-536 |
| 2007 |
|---|
| 56 | EE | Leila Naslavsky,
Hadar Ziv,
Debra J. Richardson:
Towards traceability of model-based testing artifacts.
A-MOST 2007: 105-114 |
| 55 | EE | Leila Naslavsky,
Hadar Ziv,
Debra J. Richardson:
Towards leveraging model transformation to support model-based testing.
ASE 2007: 509-512 |
| 54 | EE | Leila Naslavsky,
Debra J. Richardson:
Using traceability to support model-based regression testing.
ASE 2007: 567-570 |
| 53 | EE | Jose Romero-Mariona,
Hadar Ziv,
Debra J. Richardson:
CCARCH: Architecting Common Criteria Security Requirements.
IAS 2007: 349-356 |
| 52 | | Rand Waltzman,
Kristina Winbladh,
Thomas A. Alspaugh,
Debra J. Richardson:
In the Requirements Lies the Power.
SEKE 2007: 185-190 |
| 51 | EE | 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 |
| 2006 |
|---|
| 50 | EE | Kristina Winbladh,
Thomas A. Alspaugh,
Hadar Ziv,
Debra J. Richardson:
An Automated Approach for Goal-driven, Specification-based Testing.
ASE 2006: 289-292 |
| 49 | EE | Chang Liu,
En Ye,
Debra J. Richardson:
Software Library Usage Pattern Extraction Using a Software Model Checker.
ASE 2006: 301-304 |
| 48 | EE | Chang Liu,
En Ye,
Debra J. Richardson:
LtRules: an automated software library usage rule extraction tool.
ICSE 2006: 823-826 |
| 47 | EE | Kristina Winbladh,
Thomas A. Alspaugh,
Hadar Ziv,
Debra J. Richardson:
Architecture-based testing using goals and plans.
ROSATEA 2006: 64-68 |
| 46 | EE | 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 |
| 45 | EE | 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) |
| 44 | EE | Henry Muccini,
Marcio S. Dias,
Debra J. Richardson:
Software architecture-based regression testing.
Journal of Systems and Software 79(10): 1379-1396 (2006) |
| 2005 |
|---|
| 43 | EE | Henry Muccini,
Marcio S. Dias,
Debra J. Richardson:
Reasoning About Software Architecture-Based Regression Testing Through a Case Study.
COMPSAC (2) 2005: 189-195 |
| 42 | EE | André van der Hoek,
David G. Kay,
Debra J. Richardson:
A B.S. degree in informatics: contextualizing software engineering education.
ICSE 2005: 641-642 |
| 41 | EE | 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 |
| 40 | EE | David G. Kay,
André van der Hoek,
Debra J. Richardson:
Informatics: a focus on computer science in context.
SIGCSE 2005: 551-555 |
| 39 | EE | 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 |
| 38 | EE | 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) |
| 37 | EE | 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) |
| 36 | EE | Henry Muccini,
Marcio S. Dias,
Debra J. Richardson:
Towards software architecture-based regression testing.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 2004 |
|---|
| 35 | EE | Lihua Xu,
Marcio S. Dias,
Debra J. Richardson:
Generating Regression Tests via Model Checking.
COMPSAC 2004: 336-341 |
| 34 | EE | Henry Muccini,
Marcio S. Dias,
Debra J. Richardson:
Systematic Testing of Software Architectures in the C2 Style.
FASE 2004: 295-309 |
| 33 | | Leila Naslavsky,
Marcio S. Dias,
Debra J. Richardson:
Multiply-deployed residual testing at the object level.
IASTED Conf. on Software Engineering 2004: 396-401 |
| 32 | | Lihua Xu,
Marcio S. Dias,
Debra J. Richardson:
Regression testing via model checking.
IASTED Conf. on Software Engineering 2004: 402-407 |
| 31 | | Yuewei Zhou,
Hadar Ziv,
Debra J. Richardson:
Towards A Practical Approach to Test Aspect-Oriented Software.
SOQUA/TECOS 2004: 1-16 |
| 30 | EE | Marcio S. Dias,
Debra J. Richardson:
Adaptable Analysis of Dependable System Architectures Through Monitoring.
WADS 2004: 122-147 |
| 2002 |
|---|
| 29 | EE | Marlon E. R. Vieira,
Debra J. Richardson:
Analyzing Dependencies in Large Component-Based Systems.
ASE 2002: 241-244 |
| 28 | EE | Marcio S. Dias,
Debra J. Richardson:
Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components.
ASE 2002: 245-248 |
| 27 | EE | Chang Liu,
Debra J. Richardson:
Using RAIC for Dependable On-line Upgrading of Distributed Systems.
COMPSAC 2002: 1006-1011 |
| 26 | EE | Marcio S. Dias,
Debra J. Richardson:
The Role of Event Description in Architecting Dependable Systems.
WADS 2002: 150-174 |
| 2000 |
|---|
| 25 | EE | Chang Liu,
Debra J. Richardson:
Automated Security Checking and Patching Using TestTalk.
ASE 2000: 261-264 |
| 24 | EE | Marlon E. R. Vieira,
Marcio S. Dias,
Debra J. Richardson:
Analyzing software architectures with Argus-I.
ICSE 2000: 758-761 |
| 23 | EE | Chang Liu,
Debra J. Richardson:
Using application states in software testing (poster).
ICSE 2000: 776 |
| 1999 |
|---|
| 22 | EE | Chang Liu,
Debra J. Richardson:
Towards Discovery, Specification, and Verification of Component Usage.
ASE 1999: 331-334 |
| 21 | EE | Arthur Alexander Reyes,
Debra J. Richardson:
Siddhartha: A Method for Developing Domain-Specific Test Driver Generators.
ASE 1999: 81- |
| 20 | EE | Juei Chang,
Debra J. Richardson:
Structural Specification-Based Testing: Automated Support and Experimental Evaluation.
ESEC / SIGSOFT FSE 1999: 285-302 |
| 1998 |
|---|
| 19 | EE | Arthur Alexander Reyes,
Debra J. Richardson:
Specification-based Testing of Ada Units with Low Encapsulation.
ASE 1998: 22-31 |
| 18 | EE | Juei Chang,
Debra J. Richardson:
ADLscope: An Automated Specification-based Unit Testing Tool.
ASE 1998: 289-292 |
| 17 | EE | 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 |
| 1997 |
|---|
| 16 | EE | Hadar Ziv,
Debra J. Richardson:
Constructing Bayesian-network models of software testing and maintenance uncertainties.
ICSM 1997: 100- |
| 1996 |
|---|
| 15 | EE | Nancy S. Eickelmann,
Debra J. Richardson:
An Evaluation of Software Test Environment Architectures.
ICSE 1996: 353-364 |
| 14 | EE | Juei Chang,
Debra J. Richardson,
Sriram Sankar:
Structural Specification-Based Testing with ADL.
ISSTA 1996: 62-70 |
| 1994 |
|---|
| 13 | EE | Debra J. Richardson:
TAOS: Testing with Analysis and Oracle Support.
ISSTA 1994: 138-153 |
| 1993 |
|---|
| 12 | EE | Margaret C. Thompson,
Debra J. Richardson,
Lori A. Clarke:
An Information Flow Model of Fault Detection.
ISSTA 1993: 182-192 |
| 11 | EE | 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) |
| 1992 |
|---|
| 10 | EE | Debra J. Richardson,
Stephanie Leif Aha,
T. Owen O'Malley:
Specification-Based Test Oracles for Reactive Systems.
ICSE 1992: 105-118 |
| 1989 |
|---|
| 9 | EE | Debra J. Richardson,
Stephanie Leif Aha,
Leon J. Osterweil:
Integrating Testing Techniques Through Process Programming.
Symposium on Testing, Analysis, and Verification 1989: 219-228 |
| 8 | EE | Debra J. Richardson,
T. Owen O'Malley,
C. Tittle:
Approaches to Specification-Based Testing.
Symposium on Testing, Analysis, and Verification 1989: 86-96 |
| 7 | EE | 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) |
| 1988 |
|---|
| 6 | | 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 |
|---|
| 5 | | Lori A. Clarke,
Andy Podgurski,
Debra J. Richardson,
Steven J. Zeil:
A Comparison of Data Flow Path Selection Criteria.
ICSE 1985: 244-251 |
| 4 | | Debra J. Richardson,
Lori A. Clarke:
Partition Analysis: A Method Combining Testing and Verification.
IEEE Trans. Software Eng. 11(12): 1477-1490 (1985) |
| 3 | EE | Lori A. Clarke,
Debra J. Richardson:
Applications of symbolic evaluation.
Journal of Systems and Software 5(1): 15-35 (1985) |
| 1982 |
|---|
| 2 | | Lori A. Clarke,
Johnette Hassell,
Debra J. Richardson:
A Close Look at Domain Testing.
IEEE Trans. Software Eng. 8(4): 380-390 (1982) |
| 1981 |
|---|
| 1 | | Debra J. Richardson,
Lori A. Clarke:
A Partition Analysis Method to Increase Program Reliability.
ICSE 1981: 244-253 |
