Marcio S. Dias

According to our database, Marcio S. Dias authored at least 13 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Software architecture-based regression testing.

Henry Muccini, Marcio S. Dias, Debra J. Richardson

J. Syst. Softw., 2006

2005

Towards software architecture-based regression testing.

Henry Muccini, Marcio S. Dias, Debra J. Richardson

ACM SIGSOFT Softw. Eng. Notes, 2005

Reasoning About Software Architecture-Based Regression Testing Through a Case Study.

Henry Muccini, Marcio S. Dias, Debra J. Richardson

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Adaptable Analysis of Dependable System Architectures Through Monitoring.

Marcio S. Dias, Debra J. Richardson

Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Regression testing via model checking.

Lihua Xu, Marcio S. Dias, Debra J. Richardson

Proceedings of the IASTED International Conference on Software Engineering, 2004

Multiply-deployed residual testing at the object level.

Leila Naslavsky, Marcio S. Dias, Debra J. Richardson

Proceedings of the IASTED International Conference on Software Engineering, 2004

Systematic Testing of Software Architectures in the C2 Style.

Henry Muccini, Marcio S. Dias, Debra J. Richardson

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Generating Regression Tests via Model Checking.

Lihua Xu, Marcio S. Dias, Debra J. Richardson

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2002

Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components.

Marcio S. Dias, Debra J. Richardson

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

The Role of Event Description in Architecting Dependable Systems.

Marcio S. Dias, Debra J. Richardson

Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

2001

Analyzing Software Architecture Based on Statechart Semantics.

Marcio S. Dias, Marlon E. R. Vieira, Debra J. Richardson

Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

2000

Software Architecture Analysis Based on Statechart Semantics.

Marcio S. Dias, Marlon E. R. Vieira

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Analyzing software architectures with Argus-I.

Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson

Proceedings of the 22nd International Conference on on Software Engineering, 2000