Debra J. Richardson

	2009
60		Leila Naslavsky, Hadar Ziv, Debra J. Richardson: A model-based regression test selection technique. ICSM 2009: 515-518
59		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
58		Kristina Winbladh, Hadar Ziv, Debra J. Richardson: Eliciting required characteristics for usable requirements engineering approaches. SAC 2009: 360-364
	2008
57		Ravidutta Kodre, Hadar Ziv, Debra J. Richardson: Statistical Sampling Based Approach to Alleviate Log Replay Testing. ICST 2008: 533-536
	2007
56		Leila Naslavsky, Hadar Ziv, Debra J. Richardson: Towards traceability of model-based testing artifacts. A-MOST 2007: 105-114
55		Leila Naslavsky, Hadar Ziv, Debra J. Richardson: Towards leveraging model transformation to support model-based testing. ASE 2007: 509-512
54		Leila Naslavsky, Debra J. Richardson: Using traceability to support model-based regression testing. ASE 2007: 567-570
53		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		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		Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson: An Automated Approach for Goal-driven, Specification-based Testing. ASE 2006: 289-292
49		Chang Liu, En Ye, Debra J. Richardson: Software Library Usage Pattern Extraction Using a Software Model Checker. ASE 2006: 301-304
48		Chang Liu, En Ye, Debra J. Richardson: LtRules: an automated software library usage rule extraction tool. ICSE 2006: 823-826
47		Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson: Architecture-based testing using goals and plans. ROSATEA 2006: 64-68
46		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		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		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		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		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		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		David G. Kay, André van der Hoek, Debra J. Richardson: Informatics: a focus on computer science in context. SIGCSE 2005: 551-555
39		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		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		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		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		Lihua Xu, Marcio S. Dias, Debra J. Richardson: Generating Regression Tests via Model Checking. COMPSAC 2004: 336-341
34		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		Marcio S. Dias, Debra J. Richardson: Adaptable Analysis of Dependable System Architectures Through Monitoring. WADS 2004: 122-147
	2002
29		Marlon E. R. Vieira, Debra J. Richardson: Analyzing Dependencies in Large Component-Based Systems. ASE 2002: 241-244
28		Marcio S. Dias, Debra J. Richardson: Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. ASE 2002: 245-248
27		Chang Liu, Debra J. Richardson: Using RAIC for Dependable On-line Upgrading of Distributed Systems. COMPSAC 2002: 1006-1011
26		Marcio S. Dias, Debra J. Richardson: The Role of Event Description in Architecting Dependable Systems. WADS 2002: 150-174
	2000
25		Chang Liu, Debra J. Richardson: Automated Security Checking and Patching Using TestTalk. ASE 2000: 261-264
24		Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson: Analyzing software architectures with Argus-I. ICSE 2000: 758-761
23		Chang Liu, Debra J. Richardson: Using application states in software testing (poster). ICSE 2000: 776
	1999
22		Chang Liu, Debra J. Richardson: Towards Discovery, Specification, and Verification of Component Usage. ASE 1999: 331-334
21		Arthur Alexander Reyes, Debra J. Richardson: Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. ASE 1999: 81-
20		Juei Chang, Debra J. Richardson: Structural Specification-Based Testing: Automated Support and Experimental Evaluation. ESEC / SIGSOFT FSE 1999: 285-302
	1998
19		Arthur Alexander Reyes, Debra J. Richardson: Specification-based Testing of Ada Units with Low Encapsulation. ASE 1998: 22-31
18		Juei Chang, Debra J. Richardson: ADLscope: An Automated Specification-based Unit Testing Tool. ASE 1998: 289-292
17		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		Hadar Ziv, Debra J. Richardson: Constructing Bayesian-network models of software testing and maintenance uncertainties. ICSM 1997: 100-
	1996
15		Nancy S. Eickelmann, Debra J. Richardson: An Evaluation of Software Test Environment Architectures. ICSE 1996: 353-364
14		Juei Chang, Debra J. Richardson, Sriram Sankar: Structural Specification-Based Testing with ADL. ISSTA 1996: 62-70
	1994
13		Debra J. Richardson: TAOS: Testing with Analysis and Oracle Support. ISSTA 1994: 138-153
	1993
12		Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke: An Information Flow Model of Fault Detection. ISSTA 1993: 182-192
11		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		Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley: Specification-Based Test Oracles for Reactive Systems. ICSE 1992: 105-118
	1989
9		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		Debra J. Richardson, T. Owen O'Malley, C. Tittle: Approaches to Specification-Based Testing. Symposium on Testing, Analysis, and Verification 1989: 86-96
7		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		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

Coauthor Index

1	Stephanie Leif Aha	[9] [10]
2	Thomas A. Alspaugh	[37] [38] [45] [47] [50] [51] [52]
3	Juei Chang	[14] [18] [20]
4	Lori A. Clarke	[1] [2] [3] [4] [5] [6] [7] [12]
5	Mamadou H. Diallo	[51]
6	Marcio S. Dias	[24] [26] [28] [30] [32] [33] [34] [35] [36] [43] [44]
7	Nancy S. Eickelmann	[15]
8	Richard G. Hamlet	[17]
9	Johnette Hassell	[2]
10	Scott A. Hendrickson	[46]
11	Eric Hettwer	[46]
12	André van der Hoek	[39] [40] [41] [42] [46]
13	David G. Kay	[39] [40] [41] [42]
14	Richard A. Kemmerer	[17]
15	Ravidutta Kodre	[57]
16	Chang Liu	[22] [23] [25] [27] [48] [49]
17	Edward F. Miller	[17]
18	Henry Muccini	[34] [36] [43] [44]
19	Leila Naslavsky	[33] [51] [54] [55] [56] [60]
20	T. Owen O'Malley	[8] [10]
21	Leon J. Osterweil	[9]
22	Andy Podgurski	[5] [7]
23	Arthur Alexander Reyes	[19] [21]
24	Jose Romero-Mariona	[53] [59]
25	Sriram Sankar	[14]
26	Thomas A. Standish	[38]
27	Margaret C. Thompson	[11] [12]
28	C. Tittle	[8]
29	Marlon E. R. Vieira	[24] [29]
30	Rand Waltzman	[52]
31	Kristina Winbladh	[47] [50] [52] [58]
32	Lihua Xu	[32] [35] [37] [45] [46]
33	En Ye	[48] [49]
34	Steven J. Zeil	[5] [6] [7]
35	Yuewei Zhou	[31]
36	Hadar Ziv	[16] [31] [37] [45] [46] [47] [50] [51] [53] [55] [56] [57] [58] [59] [60]

Colors in the list of coauthors