| 2006 |
|---|
| 12 | EE | 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 | EE | 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 | EE | 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 | EE | Lihua Xu,
Marcio S. Dias,
Debra J. Richardson:
Generating Regression Tests via Model Checking.
COMPSAC 2004: 336-341 |
| 8 | EE | 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 | EE | Marcio S. Dias,
Debra J. Richardson:
Adaptable Analysis of Dependable System Architectures Through Monitoring.
WADS 2004: 122-147 |
| 2002 |
|---|
| 4 | EE | Marcio S. Dias,
Debra J. Richardson:
Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components.
ASE 2002: 245-248 |
| 3 | EE | Marcio S. Dias,
Debra J. Richardson:
The Role of Event Description in Architecting Dependable Systems.
WADS 2002: 150-174 |
| 2000 |
|---|
| 2 | EE | Marlon E. R. Vieira,
Marcio S. Dias,
Debra J. Richardson:
Analyzing software architectures with Argus-I.
ICSE 2000: 758-761 |
| 1 | EE | Marcio S. Dias,
Marlon E. R. Vieira:
Software Architecture Analysis Based on Statechart Semantics.
IWSSD 2000: 133-140 |
