Marcio S. Dias

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Henry Muccini, Marcio S. Dias, Debra J. Richardson
Software architecture-based regression testing. J. Syst. Softw. 79 (10) (2006)
Henry Muccini, Marcio S. Dias, Debra J. Richardson
Towards software architecture-based regression testing. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Henry Muccini, Marcio S. Dias, Debra J. Richardson
Reasoning About Software Architecture-Based Regression Testing Through a Case Study. COMPSAC (2) (2005)
Henry Muccini, Marcio S. Dias, Debra J. Richardson
Towards software architecture-based regression testing. WADS@ICSE (2005)
Henry Muccini, Marcio S. Dias, Debra J. Richardson
Systematic Testing of Software Architectures in the C2 Style. FASE (2004)
Lihua Xu, Marcio S. Dias, Debra J. Richardson
Generating Regression Tests via Model Checking. COMPSAC (2004)
Lihua Xu, Marcio S. Dias, Debra J. Richardson
Regression testing via model checking. IASTED Conf. on Software Engineering (2004)
Leila Naslavsky, Marcio S. Dias, Debra J. Richardson
Multiply-deployed residual testing at the object level. IASTED Conf. on Software Engineering (2004)
Marcio S. Dias, Debra J. Richardson
Adaptable Analysis of Dependable System Architectures Through Monitoring. WADS (2004)
Marcio S. Dias, Debra J. Richardson
The Role of Event Description in Architecting Dependable Systems. WADS (2002)
Marcio S. Dias, Debra J. Richardson
Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. ASE (2002)
Marcio S. Dias, Marlon E. R. Vieira, Debra J. Richardson
Analyzing Software Architecture Based on Statechart Semantics. SBES (2001)
Marcio S. Dias, Marlon E. R. Vieira
Software Architecture Analysis Based on Statechart Semantics. IWSSD (2000)
Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson
Analyzing software architectures with Argus-I. ICSE (2000)