Henry Muccini

Associate Professor

Blocco Zero, Room
henry.muccini@univaq.it
+39 0862 433721

My Research is conducted in cooperation with TENS OF COLLEAGUES and with IVANO MALAVOLTA, my Ph.D. student. I wish to thank them all for their precious and outstanding contributions.

 

Architectural Languages

A Software Architecture (SA) can be considered as the earliest model of the whole software system created along the software lifecycle. Following a “traditional” definition, an SA consists of a set of components and connectors communicating through interfaces. From a different perspective, an SA consits of a set of architecture design decisions taken to generate the architecture artifact. Indeed, the two definitions are not
in contrast, but they are simply orthogonal. In both cases, when an SA is identified, it needs to be described through an architectural language (AL).

 

Interoperability among different ALs: many ALs have been proposed in the last fifteen years, each one with the chief aim of becoming the ideal language for specifying software architectures. What is evident nowadays, instead, is that architectural languages are defined by stakeholder concerns.
Capturing all such concerns within a single, narrowly focused notation is impossible. At the same time it is also impractical to define and use a “universal” notation, such as UML. As a result, many domain specific notations for architectural modeling have been proposed, each one focussing on a specific application domain, analysis type, or modeling environment. As a drawback, a proliferation of languages exists, each one
with its own specific notation, tools, and domain specificity. Therefore, if a software architect has to model a concern not supported by his own language/tool, he has to manually transform (and eventually keep aligned) the available architectural specification into the required language/tool.
Our solution to this problem is DUALLY, an automated framework that allows architectural languages and tools interoperability. Given a number of architectural languages and tools, they can all interoperate thanks to
automated model transformation techniques. DUALLY is implemented as an Eclipse plugin. 
 

For more information on the approach, you may refer to [IEEE_TSE2010]. For more information on the tool that supports the approach, please refer to "software" page on my website, or directly to the DUALLY website.

 

ALs extension and customization: despite the flourishing of languages to describe software architectures, existing ALs are still far away from what it is actually needed. In fact, while they support a traditional perception of an SA as a set of constituting elements (such as components, connectors and interfaces), they mostly fail to capture multiple stakeholders concerns and their design decisions that represent a broader view of SA being accepted today. Next generation ALs must cope with various and ever evolving stakeholder concerns by employing semantic extension mechanisms.
In our research we propose a framework, called BYADL – Build Your A(D)L, for developing a new generation of ALs. BYADL exploits model-driven techniques that provide the needed technologies to allow a software architect, starting from existing AL, to define its own new generation AL by: i) adding domain specificities, new architectural views, or analysis aspects, ii) integrating ALs with development processes and methodologies, and iii) customizing ALs by fine tuning them. 
 

For more information on the approach, you may refer to [ICSE2010]. For more information on the tool that supports the approach, please refer to "software" page on my website, or directly to the BYADL website.

 

Architecture Design Decisions and Viewpoints: Architectural design decisions (i.e., those decisions made when architecting software systems) are considered an essential piece of knowledge to be carefully documented and maintained. As any other artifact, architectural design decisions may evolve, having an impact on other design decisions, or on related artifacts (like requirements and architectural elements). It is therefore important to document and analyze the impact of an evolving decision on other related decisions or artifacts. In our research work we propose an approach based on a notation-independent metamodel that becomes a means for systematically defining traceability links, enabling inter-decision and extra-decision evolution impact analysis. The purpose of such an analysis is to check the presence of inconsistencies that may occur during evolution. An Eclipse plugin has been realized to implement the approach.
 

For more information on the approach, you may refer to [SERENE 2011]. 
 

The use of multiple views has become standard practice in industry. Academic research and existing ALs have focused predominantly on the structural view (i.e. components and connectors) and sometimes on behaviour at the architectural level. They have offered limited support to address the needs of stakeholders with different concerns such as data management, safety, security, reliability and so on.
One consequence of the tenet of using multiple views is a growing body of viewpoints that have become available. A second consequence is the rise of architecture frameworks as coordinated sets of viewpoints. Current frameworks tend to be closed—as a result, (i) it is difficult to re-use viewpoints and concerns for defining new frameworks to be used in different organizations or domains; and (ii) it is impossible to define consistency rules among viewpoints once and forever, since such rules are not re-usable as the main artefacts themselves.
With the aim of taking a step towards the solution of these current limitations, the goal of this research is to provide an infrastructure, called MEGAF, for building reusable architecture frameworks.
 

For more information on the approach, you may refer to [ASE2010]. For more information on the tool that supports the approach, please refer to "software" page on my website, or directly to the MEGAF website.

 

Architecture-based Analysis

In contemporary domains (e.g. logistics and health-care) dependability plays a crucial role, since failures can cause severe consequences and even endanger human life. Since Software Architectures offer a high-level system design they can contribute to improve the overall system dependability, providing a system blueprint that can be validated and that can guide the system development. In my research, I have been using SAs for three different purposes: a) for testing the system conformance to architectural descriptions and decisions, b) to assess the architectural description against expected behavioral scenarios, and c) to drive the monitoring of dynamically evolving systems.

 

Architecture-based Testing: this research deals with the use of an SA as a reference model for testing the conformance of an implemented system with respect to its architectural specification. We exploit the specification of SA dynamics to identify useful schemes of interactions between system components and to select test classes corresponding to relevant architectural behaviors. The SA dynamics is modeled by Labeled Transition Systems (LTSs). The approach consists of deriving suitable LTS abstractions called ALTSs. ALTSs offer specific views of SA dynamics by concentrating on relevant features and abstracting away from uninteresting ones. Intuitively, deriving an adequate set of test classes entails deriving a set of paths that appropriately cover the ALTS. Next, a relation between these abstract SA tests and more concrete, executable tests needs to be established, so that the architectural tests derived can be refined into code-level tests. 
 

For more information on the approach, you may refer to [TSE2001] paper.


Formal Analysis of SA specifications: Charmy is a framework for designing and validating architectural specifications. Introduced in the early stages of the software development process, the Charmy framework assists the software architect in the design and validation phases. Once the model-based architectural design is completed, a prototype is automatically created for simulation and analysis purposes; desired properties, specified using a graphical notation close to UML sequence diagrams, are checked on the prototype by means of model checking techniques.
To make it useful in an industrial context, the framework relies on UML-based graphical notations hiding most of the complexity of the modeling and analysis process. Charmy has been used in different industrial studies and results have been collected and discussed.

For more information on the approach, you may refer to [IEEE TSE]. For more information on the tool that supports the approach, please refer to "software" page on my website, or directly to the CHARMY website.

 

Monitoring dynamically evolving systems: In run-time evolving systems, components may evolve while the system is being operated. Unsafe run-time changes may compromise the correct execution of the entire system. Traditional design-time verification techniques difficultly cope with run-time changes, and run-time monitoring may detect disfunctions only too late, when the failure arises. The desire would be to define advanced monitors with the ability to predict and prevent the potential errors happening in the future. In this direction, this paper proposes CASSANDRA, a new approach that by combining design-time and run-time analysis techniques, can “look ahead” in the near execution future, and predict potential failures. During run-time we on-the-fly construct a model of the future k-step global state space according to design-time specifications and the current execution state. Consequently, we can run-time check whether possible failures might happen in the future.

For more information on the approach, you may refer to the [ASE 2011] paper.

Software Engineering Education

Global SE Education: To teach global software engineering (GSE) we devised a complementary distributed module with a shared project involving both local and international teams. In local teams students are located at the same university and trained in one of the two complementary topics. In international teams students are located at two different universities and trained in one of the two complementary topics. This study empirically investigates whether the students in the international teams can compensate the extra effort required to deal with communication, coordination, and collaboration issues that characterise GSE projects with learning by osmosis (i.e., by transferring knowledge among globally distributed teams trained on different topics). 
The results show that there was no statistically significant difference between the performance of local and international teams. We assert that the students in the international and local teams perform equally well thanks to learning by osmosis. However, our analysis of the self-reported questionnaire data revealed that most of the participants (i.e., 70%) would like to work in local teams in real life project, 74% of the participants thought international teams were less efficient, and 41% of the participants reported lack of trust in their international team members compared with their local team members.

For more information on the approach, you may refer to the [Journal of Software Maintenance and Evolution: Research and Practice] paper.

 

Architecting Wireless Sensor Networks

Wireless Sensor Networks (WSN) are large and dense networks made up of low-data rate, short-range, low-cost and low-power (i.e. battery-operated) wireless components typically called
sensor nodes. A sensor node is a small digital device with very limited processing, communication and sensing capabilities. The sensor nodes are deployed (also in very large area) randomly or on
the basis of a precise planning in order to collect specific environmental information (e.g. temperature, light, pressure, movement, etc.) and to return results to a collection point by means of a wireless communication. 

 

Architectural Description and Energy Simulation:  Wireless Sensor Networks represent a very promising technology both in research and in practice. However, their development process still heavily relies on the technologies used to realize them (e.g., programming language, hardware platform, etc.) and demand for very specific skills of software developers. These peculiarities hamper the use of Wireless Sensor Networks in real applications, and slow down the growth of the Wireless Sensor Networks community. As claimed in many recent surveys on WSNs, the development of wireless sensor networks needs to be more abstract (i.e., developers should be able, if needed, to abstract from low-level details), it should be supported by verification and validation techniques, and should be disciplined by frameworks with well-defined processes.

In this context, we are proposing an architecture modelling framework to describe the software architecture of a WSN with a focus on nodes behaviour and communication properties. The framework is complemented with an interactive tool for both describing the physical environment in which the WSN will be deployed (i.e., walls, obstacles, and the material they are made of), and for virtually positioning the nodes in such environment. An internal engine simulates the virtually positioned WSN with respect to its path loss properties; this results as an accurate evaluation of the WSN lifetime in terms of the energy consumed for nodes’ communication.

For more information on the approach, you may refer to the [SESENA 2012] paper.

Gu Qing, Patricia Lago, Henry Muccini and Simone Potenza, A Categorization of Green Practices used by Dutch Data Centers, in: The 3rd International Conference on Sustainable Energy Information Technology (SEIT 2013, Elsevier, 2013

Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione and Antony Tang, What Industry needs from Architectural Languages: A Survey (2013), in: IEEE Transactions on Software Engineering (TSE), 39:6(869-891)

2012

Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, A model-driven approach to automate the propagation of changes among Architecture Description Languages (2012), in: Software and Systems Modeling, 11:1(29-53)

Krishna Doddapaneni, Enver Ever, Ivano Malavolta, Leonardo Mostarda and Henry Muccini, A Model-driven Engineering Framework to Support an Architecture-Driven Development and Analysis of WSNs, in: Third International Workshop on Software Engineering for Sensor Network Applications (SESENA'12) @ ICSE 2012, 2012

H. ter Beek Maurice, Henry Muccini and Patrizio Pelliccione, Assume-Guarantee Testing of Evolving Software Product Line Architectures, in: SERENE 2012, 4th International Workshop on Software Engineering for Resilient Systems, Pisa, Italy, pages 91-105, Lecture Notes in Computer Science - LNCS, 7527, 2012

H. ter Beek Maurice, Henry Muccini and Patrizio Pelliccione, Guaranteeing Correct Evolution of Software Product Lines (2012), in: ERCIM News, Special Theme: Evolving Software:88

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, Model-driven techniques to enhance Architectural Languages Interoperability, in: 15th International Conference on Fundamental Approaches to Software Engineering (FASE), Tallinn, Estonia, 2012

Rich Hilliard, Ivano Malavolta, Henry Muccini and Patrizio Pelliccione, On the Composition and Reuse of Viewpoints across Architecture Frameworks, in: 10th Working IEEE/IFIP Conference on Software Architecture (WICSA) & 6th European Conference on Software Architecture (ECSA) - WICSA/ECSA 2012, Helsinki, Finland, 2012

Krishna Doddapaneni, Enver Ever, Ivano Malavolta, Leonardo Mostarda and Henry Muccini, Path Loss Effect on Energy Consumption in a WSN, in: 14th International Conference on Modelling and Simulation, Cambridge, Cambridgeshire United Kingdom, pages 569-574, IEEE, 2012

Henry Muccini, Antonio Di Francesco and Patrizio Esposito, Software Testing of Mobile Applications: Challenges and Future Research Directions, in: 7th IEEE/ACM International Workshop on Automation of Software Test (AST 2012) @ ICSE 2012, IEEE Digital Library, 2012

 

2011

Patricia Lago, Henry Muccini and Muhammad Ali Babar, An empirical study of learning by osmosis in global software engineering (2011), in: Journal of Software Maintenance and Evolution: Research and Practice

H. ter Beek Maurice, Henry Muccini and Patrizio Pelliccione, Guaranteeing Correct Evolution of Software Product Lines: Setting up the Problem, in: SERENE 2011, Springer Computer Science Editorial, 2011

V. Smrithi Rekha and Henry Muccini, Managing Evolving Architectural Design Decisions, Poster at the Grace Hopper Celebration of Women in Computing, India, 2011

Pengcheng Zhang, Henry Muccini, Andrea Polini and Xuandong Li, Run-time systems failure prediction via proactive monitoring, in: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, pages 484-487, 2011

Ivano Malavolta, Henry Muccini and V. Smrithi Rekha, Supporting Architectural Design Decisions Evolution through Model Driven Engineering, in: SERENE, pages 63-77, 2011

 

2010

Pengcheng Zhang, Henry Muccini and Bixin Li, A classification and comparison of model checking software architecture techniques (2010), in: Journal of Systems and Software, 83:5(723-744)

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, ByADL: an MDE framework for building extensible Architecture Description Languages, in: 4th European Conference on Software Architecture (ECSA 2010), LNCS 6285, Copenhagen, Denmark, pages 527-531, Springer-Verlag Berlin Heidelberg, 2010

Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, Developing next generation ADLs through MDE techniques, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010) - Volume 1, Cape Town, South Africa, pages 85--94, ACM, 2010

Damien A. Tamburri, Patricia Lago and Henry Muccini, Leveraging Software Architectures through the ISO/IEC 42010 Standard: A Feasibility Study, in: TEAR, pages 71-85, 2010

Pengcheng Zhang, Henry Muccini, Yuelong Zhu and Bixin Li, Model and Verification of WS-CDL Based on UML Diagrams (2010), in: International Journal of Software Engineering and Knowledge Engineering, 20:8(1119-1149)

Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Damien A. Tamburri, Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies (2010), in: IEEE Transactions on Software Engineering (TSE), 36:1(119-140)

Rich Hilliard, Henry Muccini, Ivano Malavolta and Patrizio Pelliccione, Realizing architecture frameworks through megamodelling techniques, in: 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010

 

2009

Ivica Crnkovic, Ivano Malavolta and Henry Muccini, A Model-Driven Engineering Framework for Component Models Interoperability, in: Proceedings of the 12th International Symposium on Component-Based Software Engineering (CBSE 2009), pages 36--53, Springer-Verlag, 2009

Patricia Lago, Henry Muccini and Hans van Vliet, A scoped approach to traceability management (2009), in: Journal of Systems and Software, 82:1(168-182)

Patrizio Pelliccione, Paola Inverardi and Henry Muccini, CHARMY: A Framework for Designing and Verifying Architectural Specifications (2009), in: IEEE Transactions on Software Engineering (TSE), 35:3(325 - 346)

Ivano Malavolta, Henry Muccini and Patrizio Pelliccione, Integrating AADL within a Multi-domain Modeling Framework, in: IEEE International Conference on Engineering of Complex Computer Systems, pages 341-346, IEEE Computer Society, 2009

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky, SERENE 2008 International Workshop on Software Engineering for Resilient Systems, Ercim News n. 76, 2009

Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, Towards a Framework for Distributed and Collaborative Modeling, in: IEEE International Workshops on Enabling Technologies, pages 149-154, IEEE Computer Society, 2009

 

2008

Pengcheng Zhang, Bixin Li, Henry Muccini and Mingjie Sun, An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions, in: APWeb Workshops, pages 144-154, 2008

Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini and Onn Shehory, ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems, in: ASE, pages 529-530, 2008

Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], Springer, 2008

Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou and Mingjie Sun, Data-Enriched Modeling and Verification of WS-CDL Based on UML Models, in: ICWS, pages 752-753, 2008

Patricia Lago, Henry Muccini and Muhammad Ali Babar, Developing a Course on Designing Software in Globally Distributed Teams, in: 3rd International Conference on Global Software Engineering, ICGSE 2008, Bangalore, India., 2008

Ivano Malavolta, Henry Muccini and Patrizio Pelliccione, DUALLY: a framework for Architectural Languages and Tools Interoperability, in: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE2008), L'Aquila, Italy, IEEE Computer Science Press, 2008

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky, Engineering Fault Tolerant Systems (2008), in: International Journal of Computer Systems Science and Engineering, 23:5

Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini and Patrizio Pelliccione, From Requirements to Java code: an Architecture-centric Approach for producing quality systems, chapter Model-Driven Software Development: Integrating Quality Assurance, Information Science Reference, 2008

Patricia Lago, Henry Muccini, Ljerka Beus-Dukic, Ivica Crnkovic and Sasikumar Punnekkat, GSEEM: a European Master Programme on Global Software Engineering (2008), in: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 24:4(747-760)

SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008, ACM, 2008

Henry Muccini and Patrizio Pelliccione, Simulating Software Architectures for Functional Analysis, in: Working IEEE/IFIP Conference on Software Architecture, pages 289-292, IEEE Computer Society, 2008

Henry Muccini, Software Testing: Testing New Software Paradigms and New Artifacts, in: Wiley Encyclopedia of Computer Science and Engineering, 2008

 

2007

Nicolas Guelfi, Patrizio Pelliccione, Henry Muccini and Alexander Romanovsky, An Introduction to Software Engineering and Fault Tolerance, chapter Software Engineering of Fault Tolerant Systems, Series on Software Engineering and Knowledge Eng., 2007

Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky, Architecting Fault Tolerant Systems, in: Sixth Working IEEE/IFIP Conference on Software Architecture (WICSA'07), Mumbai, India, 2007

Antonio Bucchiarone, Henry Muccini and Patrizio Pelliccione, Architecting Fault-tolerant Component-based Systems: from requirements to testing, Elsevier Science Publishers B. V. Amsterdam, The Netherlands, The Netherlands, pages 77-90, Electronic Notes in Theoretical Computer Science, 2007

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky, EFTS 2007: the 2nd international workshop on engineering fault tolerant systems, in: ESEC/SIGSOFT FSE (Companion), pages 617-618, 2007

Henry Muccini, Andrea Polini, Fabiano Ricci and Antonia Bertolino, Monitoring Architectural Properties in Dynamic Component-Based Systems, in: CBSE, pages 124-139, 2007

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007, ACM, 2007

Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi and Alexander Romanovsky, Software Engineering of Fault Tolerant Systems, World Scientific Publishing Co. Pte. Ltd., volume 19, 2007

Patricia Lago, Henry Muccini, Ljerka Beus-Dukic, Ivica Crnkovic, Sasikumar Punnekkat and Hans van Vliet, Towards a European Master Programme on Global Software Engineering, in: CSEE&T, pages 184-194, 2007

Henry Muccini, Using Model Differencing for Architecture-level Regression Testing, in: EUROMICRO-SEAA, pages 59-66, 2007

Antonia Bertolino and Henry Muccini, Welcome to the WISE track, in: ESEC/SIGSOFT FSE (Companion), pages 469, 2007

Henry Muccini, What Makes Software Architecture-Based Testing Distinguishable, in: WICSA, pages 29, 2007

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky, Workshops summaries: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems, in: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering ESEC-FSE '07, Dubrovnik, Croatia., ACM press, 2007

 

2006

Antonio Bucchiarone, Henry Muccini and Patrizio Pelliccione, A Practical Architecture-centric Analysis Process, in: Second International Conference on Quality of Software Architectures, QoSA 2006, Malardalen University, Vasteras near Stockholm, Sweden, pages 127--144, LNCS, 2006

Antonia Bertolino, Henry Muccini and Andrea Polini, Architectural Verification of Black-Box Component-Based Systems, in: RISE, pages 98-113, 2006

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006, ACM, 2006

Leila Naslavsky, Debra J. Richardson and Henry Muccini, Scenario-based and State Machine-based Testing: An Evaluation of Automated Approaches, in: MTOOS 2006, First Int. Workshop on "Model-based Testing and Object Oriented Systems", co-located with OOPSLA 2006, 2006

Henry Muccini, Marcio S. Dias and Debra J. Richardson, Software architecture-based regression testing (2006), in: Journal of Systems and Software, 79:10(1379-1396)

Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio and Patrizio Pelliccione, Towards Weaving Software Architecture Models, in: International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pages 103-112, IEEE Computer Society, 2006

 

2005

Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi and Henry Muccini, An Architecture-Centric Approach for Producing Quality Systems, in: QoSA/SOQUA, pages 21-37, 2005

Paola Inverardi, Henry Muccini and Patrizio Pelliccione, CHARMY: An Extensible Tool for Architectural Analysis, in: ESEC-FSE'05, The fifth joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering. Research Tool Demos, Lisbon, Portugal, 2005

Paola Inverardi, Henry Muccini and Patrizio Pelliccione, DUALLY: Putting in Synergy UML 2.0 and ADLs, in: 5th IEEE/IFIP Working Conference on Software Architecture (WICSA 2005), Pittsburgh, PA, 2005

Antonia Bertolino, Eda Marchetti and Henry Muccini, Introducing a Reasonably Complete and Coherent Approach for Model-based Testing (2005), in: Electr. Notes Theor. Comput. Sci., 116(85-97)

Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione and Ezio Di Nisio, Rapid System Development via Product Line Architecture Implementation, in: Proceedings of the 2nd International Workshop RISE 2005 Rapid Integration of Software Engineering techniques, Heraklion Crete, GREECE, 2005

Henry Muccini, Marcio S. Dias and Debra J. Richardson, Reasoning About Software Architecture-Based Regression Testing Through a Case Study, in: COMPSAC (2), pages 189-195, 2005

Nicola Di Nisio, Maya Cardone and Henry Muccini, SA-based Model Checking and Testing vs. traditional approaches: an experience on the NIS, 2005

Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone and Fabrizio Facchini, TeStor: Deriving Test Sequences from Model-based Specifications, in: 8th International SIGSOFT Symposium on Component-based Software Engineering, St. Louis, Missouri, USA, 2005

Henry Muccini, Marcio S. Dias and Debra J. Richardson, Towards software architecture-based regression testing (2005), in: ACM SIGSOFT Software Engineering Notes, 30:4(1-7)

 

2004

Davide Di Ruscio, Henry Muccini and Alfonso Pierantonio, A Data Modeling Approach to Web Application Synthesis (2004), in: International Journal of Web Engineering and Technology, 1:3(320-337)

Henry Muccini and Fabio Mancinelli, A Software Engineering Approach For Coordination Policies Elicitation (2004), in: Int. J. Cooperative Inf. Syst., 13:1(9-36)

Mauro Caporuscio, Paola Inverardi, Henry Muccini and Patrizio Pelliccione, Charmy: A Framework for Designing and Validating Architectural Specifications, in: ERCIM News No. 58 (July 2004), Special Theme on Automated Software Engineering., 2004

Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione and Pierluigi Pierini, Model-Checking plus Testing: from Software Architecture Analysis to Code Testing, in: 1st International Workshop on Integration of Testing Methodologies (ITM 2004), Toledo, Spain, 2004

Henry Muccini, Marcio S. Dias and Debra J. Richardson, Systematic Testing of Software Architectures in the C2 Style, in: FASE, pages 295-309, 2004

Antonia Bertolino, Andrea Polini, Paola Inverardi and Henry Muccini, Towards Anti-Model-based Testing, in: Fast Abstract in The International Conference on Dependable Systems and Networks, DSN 2004. Florence, 2004, 2004

Henry Muccini, Antonia Bertolino and Paola Inverardi, Using Software Architecture for Code Testing (2004), in: IEEE Transactions on Software Engineering, 30:3(160-171)

Vittorio Cortellessa, Paola Inverardi, Antinisca Di Marco, Henry Muccini and Patrizio Pelliccione, Using UML for SA-based Modeling and Analysis, in: Int. Workshop on Software Architecture Description & UML. Hosted at the Seventh International Conference on UML Modeling Languages and Applications., Lisbon, Portugal, 2004

 

2003

Henry Muccini, Detecting Implied Scenarios Analyzing Non-local Branching Choices, in: FASE, pages 372-386, 2003

Henry Muccini and Fabio Mancinelli, Eliciting Coordination Policies from Requirements, in: SAC, pages 387-393, 2003

Antonia Bertolino, Paola Inverardi and Henry Muccini, Formal Methods in Testing Software Architectures, in: SFM, pages 122-147, 2003

Paola Inverardi and Henry Muccini, Software Architectures and Coordination Models (2003), in: The Journal of Supercomputing, 24:2(141-149)

Henry Muccini and Andre' van der Hoek, Towards Testing Product Line Architectures (2003), in: Electr. Notes Theor. Comput. Sci., 82:6(99-109)

 

2002

Henry Muccini, An Approach for Detecting Implied Scenarios, in: Proc. ICSE 2002 Workshop on "Scenarios and State Machines: Models, Algorithms, and Tools, 2002

Paola Inverardi, Fabio Mancinelli, Henry Muccini and Patrizio Pelliccione, An Experience in Architectural Extension: Active Object in J2EE, in: In the International Workshop on scientific engineering of Distributed Java applications (FIDJI'2002), Luxembourg, Luxembourg, 2002

 

2001

Antonia Bertolino, Paola Inverardi and Henry Muccini, An Explorative Journey from Architectural Tests Definition downto Code Tests Execution, in: ICSE, pages 211-220, 2001

Paola Inverardi, Henry Muccini and Patrizio Pelliccione, Automated Check of Architectural Models Consistency Using SPIN, in: Automated Software Engineering Conference Proceedings (ASE 2001), pages 346, IEEE Computer Society, 2001

Paola Inverardi, Henry Muccini and Patrizio Pelliccione, Checking consistency between architectural models using SPIN, in: Proc. ICSE 2001 Workshop ``From Software Requirements to Architectures" (STRAW'01), 2001

 

2000

Paola Inverardi and Henry Muccini, A Coordination Process Based on UML and a Software Architectural Description, in: PDPTA, 2000

Paola Inverardi and Henry Muccini, Coordination Models and Software Architectures in a Unified Software Development Process, in: COORDINATION, pages 323-328, 2000

Antonia Bertolino, Flavio Corradini, Paola Inverardi and Henry Muccini, Deriving test plans from architectural descriptions, in: ICSE, pages 220-229, 2000

Paola Inverardi and Henry Muccini, The Teleservices and Remote Medical Care System (TRMCS), in: IEEE Proc. of the IWSSD-10 workshop on Software Specification and Design, 2000

 

1999

Antonia Bertolino, Paola Inverardi and Henry Muccini, Software Architectures and Integration Testing, in: Proc. second Ericsson Conference on Quantitative Management, 1999

 

1997

Antonia Bertolino, Paola Inverardi, Henry Muccini and Andrea Rosetti, An approach to integration testing based on architectural descriptions, in: ICECCS, pages 77-, 1997