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.