BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Richardson:Debra_J=

Contributed to:

FSE 20102010
ICST 20102010
ISSTA 20102010
ICSM 20092009
SAC 20092009
ICST 20082008
A-MOST 20072007
ASE 20072007
SEKE 20072007
ASE 20062006
ICSE 20062006
CSEE&T 20052005
ICSE 20052005
ITiCSE 20052005
FASE 20042004
ASE 20022002
CBSE 20022002
CBSE 20012001
ASE 20002000
ICSE 20002000
ASE 19991999
ESEC/FSE 19991999
ASE 19981998
ICSM 19971997
ICSE 19961996
ISSTA 19961996
ISSTA 19941994
ISSTA 19931993
ICSE 19921992
ISSTA 19891989
ICSE 19851985
ICSE 19811981

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.