Marcio S. Dias

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