Analyzing software architectures with Argus-I. - Marlon E. R. Vieira; Marcio S. Dias; Debra J. Richardson (ICSE, 2000)

Software Architecture Analysis Based on Statechart Semantics. - Marcio S. Dias; Marlon E. R. Vieira (IWSSD, 2000)

Analyzing Software Architecture Based on Statechart Semantics. - Marcio S. Dias; Marlon E. R. Vieira; Debra J. Richardson (SBES, 2001)

The Role of Event Description in Architecting Dependable Systems. - Marcio S. Dias; Debra J. Richardson (WADS, 2002)

Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. - Marcio S. Dias; Debra J. Richardson (ASE, 2002)

Generating Regression Tests via Model Checking. - Lihua Xu; Marcio S. Dias; Debra J. Richardson (COMPSAC, 2004)

Systematic Testing of Software Architectures in the C2 Style. - Henry Muccini; Marcio S. Dias; Debra J. Richardson (FASE, 2004)

Multiply-deployed residual testing at the object level. - Leila Naslavsky; Marcio S. Dias; Debra J. Richardson (IASTED Conf. on Software Engineering, 2004)

Regression testing via model checking. - Lihua Xu; Marcio S. Dias; Debra J. Richardson (IASTED Conf. on Software Engineering, 2004)

Adaptable Analysis of Dependable System Architectures Through Monitoring. - Marcio S. Dias; Debra J. Richardson (WADS, 2004)

Reasoning About Software Architecture-Based Regression Testing Through a Case Study. - Henry Muccini; Marcio S. Dias; Debra J. Richardson (COMPSAC (2), 2005)

Towards software architecture-based regression testing. - Henry Muccini; Marcio S. Dias; Debra J. Richardson (ACM SIGSOFT Softw. Eng. Notes, 2005)

Software architecture-based regression testing. - Henry Muccini; Marcio S. Dias; Debra J. Richardson (J. Syst. Softw., 2006)