Outputs (4)

Software Architecture-based Regression Testing (2006)
Journal Article
Muccini, H., Dias, M., & Richardson, D. (2006). Software Architecture-based Regression Testing. Journal of Systems and Software, 79(10), 1379-1396. https://doi.org/10.1016/j.jss.2006.02.059

Software architectures are becoming centric to the development of quality software systems, being the first concrete model of the software system and the base to guide the implementation of software systems. When architecting dependable systems, in a... Read More about Software Architecture-based Regression Testing.

Adaptable Analysis of Dependable System Architectures Through Monitoring (2005)
Book Chapter
Dias, M., & Richardson, D. J. (2005). Adaptable Analysis of Dependable System Architectures Through Monitoring. In R. D. Lemos, C. Gacek, & A. Romanovsky (Eds.), Architecting dependable systems III (122-147). Springer Verlag. https://doi.org/10.1007/11556169_6

Every day, our society becomes more dependent on complex software systems with high availability requirements, such as those present in telecommunications, air traffic control, power plants and distribution lines, among others. In order to facilitate... Read More about Adaptable Analysis of Dependable System Architectures Through Monitoring.

Generating Regression Tests via Model Checking (2004)
Presentation / Conference Contribution
Xu, L., Dias, M., & Richardson, D. J. (2004, September). Generating Regression Tests via Model Checking. Presented at 28th Annual International Computer Software and Applications Conference, Hong Kong

During software maintenance, regression testing is an expensive but critical activity to ensure that modified versions of the system do not "regress". As software evolves, chances are that not only the implementation changes, but that the specificati... Read More about Generating Regression Tests via Model Checking.

Identifying Cause and Effect Relations between Events in Concurrent Event-Based Components (2003)
Presentation / Conference Contribution
Dias, M., & Richardson, D. J. (2002, September). Identifying Cause and Effect Relations between Events in Concurrent Event-Based Components. Presented at 17th IEE International Conference on Automated Software Engineering, Edinburgh, UK

Concurrent event-based components present characteristics that impose difficulties in understanding their dynamic behavior, mainly for interpreting the cause and effect relations between input and output events in component interactions. In this pape... Read More about Identifying Cause and Effect Relations between Events in Concurrent Event-Based Components.