Travelled to:1 × Australia
1 × China
1 × Germany
1 × Ireland
1 × Japan
1 × Norway
1 × Portugal
1 × Spain
11 × USA
2 × France
2 × Italy
3 × Canada
3 × United Kingdom
Collaborated with:H.Ziv C.Liu L.Naslavsky M.S.Dias J.Chang K.Winbladh M.E.R.Vieira L.A.Clarke ∅ A.A.Reyes E.Ye A.v.d.Hoek D.G.Kay S.L.Aha T.O.O'Malley T.A.Alspaugh N.S.Eickelmann J.Romero-Mariona R.Kodre H.Muccini S.Sankar M.C.Thompson L.J.Osterweil C.Tittle R.Waltzman A.Podgurski S.J.Zeil
Talks about:test (20) base (16) softwar (10) model (10) specif (9) compon (6) autom (6) support (5) approach (4) requir (4)
Person: Debra J. Richardson
 DBLP: Richardson:Debra_J=
Contributed to:
Wrote 38 papers:
- FSE-2010-WinbladhZR #interactive #modelling #named
 - iMuse: interactive model-based use-case and storytelling environment (KW, HZ, DJR), pp. 383–384.
 - ICST-2010-NaslavskyZR #modelling #named #testing #traceability
 - MbSRT2: Model-Based Selective Regression Testing with Traceability (LN, HZ, DJR), pp. 89–98.
 - ISSTA-2010-Romero-MarionaZR #automation #named #requirements
 - ASSURE: automated support for secure and usable requirements engineering (JRM, HZ, DJR), pp. 279–282.
 - ICSM-2009-NaslavskyZR #modelling #testing
 - A model-based regression test selection technique (LN, HZ, DJR), pp. 515–518.
 - SAC-2009-WinbladhZR #elicitation #requirements
 - Eliciting required characteristics for usable requirements engineering approaches (KW, HZ, DJR), pp. 360–364.
 - ICST-2008-KodreZR #approach #statistics #testing
 - Statistical Sampling Based Approach to Alleviate Log Replay Testing (RK, HZ, DJR), pp. 533–536.
 - A-MOST-2007-NaslavskyZR #modelling #testing #towards #traceability
 - Towards traceability of model-based testing artifacts (LN, HZ, DJR), pp. 105–114.
 - ASE-2007-NaslavskyR #modelling #testing #traceability #using
 - Using traceability to support model-based regression testing (LN, DJR), pp. 567–570.
 - ASE-2007-NaslavskyZR #model transformation #modelling #testing #towards
 - Towards leveraging model transformation to support model-based testing (LN, HZ, DJR), pp. 509–512.
 - SEKE-2007-WaltzmanWAR #requirements
 - In the Requirements Lies the Power (RW, KW, TAA, DJR), pp. 185–190.
 - ASE-2006-LiuYR #library #model checking #using
 - Software Library Usage Pattern Extraction Using a Software Model Checker (CL, EY, DJR), pp. 301–304.
 - ASE-2006-WinbladhAZR #approach #automation #testing
 - An Automated Approach for Goal-driven, Specification-based Testing (KW, TAA, HZ, DJR), pp. 289–292.
 - ICSE-2006-LiuYR #automation #library #named
 - LtRules: an automated software library usage rule extraction tool (CL, EY, DJR), pp. 823–826.
 - CSEET-2005-Richardson #education #named #re-engineering
 - Informatics: Contextualizing Computer Science and Software Engineering Education (DJR), p. 3.
 - ICSE-2005-HoekKR #education #re-engineering
 - A B.S. degree in informatics: contextualizing software engineering education (AvdH, DGK, DJR), pp. 641–642.
 - ITiCSE-2005-KayHR #design #source code
 - Extending undergraduate CS programs with informatics: emphasizing software and system design in context (DGK, AvdH, DJR), p. 367.
 - FASE-2004-MucciniDR #architecture #testing
 - Systematic Testing of Software Architectures in the C2 Style (HM, MSD, DJR), pp. 295–309.
 - ASE-2002-DiasR #component #concurrent #identification
 - Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components (MSD, DJR), pp. 245–248.
 - ASE-2002-VieiraR #component #dependence #scalability
 - Analyzing Dependencies in Large Component-Based Systems (MERV, DJR), pp. 241–244.
 - CBSE-2002-LiuR #component #specification
 - Specifying Component Method Properties for Component State Recovery in RAIC (CL, DJR), p. 9.
 - CBSE-2001-VieiraDR #component #dependence
 - Describing Dependencies in Component Access Points (MERV, MSD, DJR), p. 22.
 - ASE-2000-LiuR #automation #security #using
 - Automated Security Checking and Patching Using TestTalk (CL, DJR), pp. 261–264.
 - ICSE-2000-VieiraDR #architecture
 - Analyzing software architectures with Argus-I (MERV, MSD, DJR), pp. 758–761.
 - ASE-1999-LiuR #component #specification #towards #verification
 - Towards Discovery, Specification, and Verification of Component Usage (CL, DJR), pp. 331–334.
 - ASE-1999-ReyesR #generative #named
 - Siddhartha: A Method for Developing Domain-Specific Test Driver Generators (AAR, DJR), p. 81–?.
 - ESEC-FSE-1999-ChangR #automation #evaluation #testing
 - Structural Specification-Based Testing: Automated Support and Experimental Evaluation (JC, DJR), pp. 285–302.
 - ASE-1998-ChangR #automation #named #testing
 - ADLscope: An Automated Specification-based Unit Testing Tool (JC, DJR), pp. 289–292.
 - ASE-1998-ReyesR #ada #encapsulation #testing
 - Specification-based Testing of Ada Units with Low Encapsulation (AAR, DJR), pp. 22–31.
 - ICSM-1997-ZivR #maintenance #modelling #nondeterminism #testing
 - Constructing Bayesian-network models of software testing and maintenance uncertainties (HZ, DJR), p. 100–?.
 - ICSE-1996-EickelmannR #architecture #evaluation #testing
 - An Evaluation of Software Test Environment Architectures (NSE, DJR), pp. 353–364.
 - ISSTA-1996-ChangRS #testing
 - Structural Specification-Based Testing with ADL (JC, DJR, SS), pp. 62–70.
 - ISSTA-1994-Richardson #analysis #named #testing
 - TAOS: Testing with Analysis and Oracle Support (DJR), pp. 138–153.
 - ISSTA-1993-ThompsonRC #data flow #detection #fault
 - An Information Flow Model of Fault Detection (MCT, DJR, LAC), pp. 182–192.
 - ICSE-1992-RichardsonAO #testing
 - Specification-Based Test Oracles for Reactive Systems (DJR, SLA, TOO), pp. 105–118.
 - TAV-1989-RichardsonAO #process #programming #testing
 - Integrating Testing Techniques Through Process Programming (DJR, SLA, LJO), pp. 219–228.
 - TAV-1989-RichardsonOT #testing
 - Approaches to Specification-Based Testing (DJR, TOO, CT), pp. 86–96.
 - ICSE-1985-ClarkePRZ #comparison #data flow
 - A Comparison of Data Flow Path Selection Criteria (LAC, AP, DJR, SJZ), pp. 244–251.
 - ICSE-1981-RichardsonC #analysis #reliability
 - A Partition Analysis Method to Increase Program Reliability (DJR, LAC), pp. 244–253.
 

























