Marcio S. Dias

	2006
12		Henry Muccini, Marcio S. Dias, Debra J. Richardson: Software architecture-based regression testing. Journal of Systems and Software 79(10): 1379-1396 (2006)
	2005
11		Henry Muccini, Marcio S. Dias, Debra J. Richardson: Reasoning About Software Architecture-Based Regression Testing Through a Case Study. COMPSAC (2) 2005: 189-195
10		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
9		Lihua Xu, Marcio S. Dias, Debra J. Richardson: Generating Regression Tests via Model Checking. COMPSAC 2004: 336-341
8		Henry Muccini, Marcio S. Dias, Debra J. Richardson: Systematic Testing of Software Architectures in the C2 Style. FASE 2004: 295-309
7		Leila Naslavsky, Marcio S. Dias, Debra J. Richardson: Multiply-deployed residual testing at the object level. IASTED Conf. on Software Engineering 2004: 396-401
6		Lihua Xu, Marcio S. Dias, Debra J. Richardson: Regression testing via model checking. IASTED Conf. on Software Engineering 2004: 402-407
5		Marcio S. Dias, Debra J. Richardson: Adaptable Analysis of Dependable System Architectures Through Monitoring. WADS 2004: 122-147
	2002
4		Marcio S. Dias, Debra J. Richardson: Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. ASE 2002: 245-248
3		Marcio S. Dias, Debra J. Richardson: The Role of Event Description in Architecting Dependable Systems. WADS 2002: 150-174
	2000
2		Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson: Analyzing software architectures with Argus-I. ICSE 2000: 758-761
1		Marcio S. Dias, Marlon E. R. Vieira: Software Architecture Analysis Based on Statechart Semantics. IWSSD 2000: 133-140

Coauthor Index

1	Henry Muccini	[8] [10] [11] [12]
2	Leila Naslavsky	[7]
3	Debra J. Richardson	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
4	Marlon E. R. Vieira	[1] [2]
5	Lihua Xu	[6] [9]