|
|
|
>Research |
Henry Muccini
Ph.D. in Computer Science |
|
This section provides information on my current and
past research. |
|
|
| |
|
(Current) Research
Topics: |
| |
Software Testing
Software
testing research is continuously moving towards
different challenges and obstacles driven by different
forces. What we believe are two main forces driving
software testing evolution are the progress in software
development paradigms and languages, and the artefacts
along the software development process to be used for
testing purposes.
My main challenges are to understand how software
testing can be applied to software architecture
artifacts, how to apply model-based testing, and
model-based regression testing.
Recent
and Upcoming:
-
Chapter on ""Software Testing: Testing new Software
Paradigms and new Artefacts"
in the Wiley Encyclopedia of Computer Science
and Engineering (Ed. Benjamin W. Wah). John Wiley & Sons.
ISBN: 978-0-471-38393-2. Hardcover. January 2009 (by Henry
Muccini).
- Dagstuhl
Seminar on "Practical Software Testing: Tool
Automation and Human Factors" (Mark Harman, Henry
Muccini, Wolfram Schulte, Tao Xie), to be held on
March 14-19, 2010.
- Book on
"Software Test Automation from Components to Systems"
(Jerry Z. Gao, Henry Muccini, and Xiaoying Bai), to
be published by Wiley, 2010
|
|
Languages and Tools Interoperability (DUALLY):
Nowadays different
notations for architectural modeling have been proposed,
each one focussing on a specific application domain,
analysis type, or modeling environment. No effective
interoperability is possible to date. DUALLY is an
automated framework that aims to offer an answer to this
need allowing architectural languages and tools
interoperability. ...
Recent
and Upcoming:
-
Dually v2.0 under
release
-
"Providing
Architectural Languages and Tools Interoperability
through Model Transformation
Technologies" Ivano Malavolta, Henry Muccini,
Patrizio Pelliccione, Damien A. Tamburri
Technical Report TRCS 001/2009, University of
L'Aquila, January 2009.
|
|
Architecting Fault Tolerant Systems:
the need for explicit exception
handling solutions during the entire life cycle has
been advocated by some researchers. Recently, an
increased attention has been paid to integrating fault
tolerance and exception handling at the software
architecture level of description. While typical SA
specifications model only the normal behaviour of the
system, several approaches have been recently introduced
for modelling and analyzing fault tolerant software
architectures that consider also abnormal behaviours.
Many approaches have been proposed and a comprehensive
survey of this topic has been recently proposed.
Recent
and Upcoming:
-
SERENE 2008 ERCIM
Workshop on Software Engineering for Resilience,
Newcastle, November 17-19, 2008.
ISBN:978-1-60558-275-7. ACM Press. 2008.
|
|
Teaching
Global Software Engineering:
The Global SE European Master (GSEEM)
programme aims to provide students with an excellence in
SE based on sound theoretical foundations and practical
experience, as well as to prepare them to participate in
global development of complex and large software systems.
GSEEM has been designed with two noteworthy aspects: 1)
Three specialization profiles in which the consortium
excels: Software Architecting, Real-time Embedded
Systems Engineering, and Web Systems and Services
Engineering. 2) An innovative concept of "shared modules",
delivered together by multiple institutions. Four types
of shared modules are foreseen. ... |
|
|
|
Professional Activities: |
| |
|
Here are some of my recent
activities in the scientific community:
Organization:
-
Co-founder of the SERENE - Software Engineering for
REsilieNt systems - ERCIM (the European Research
Consortium for Informatics and Mathematics) Working
Group. Year 2008
-
Editor of the special issue of the International
Journal of Computer Systems Science and Engineering
(http://www.crlpublishing.co.uk/journal.asp?j=csse&s=Aims%20and%20Scope).
-
Erasmus Mundus,
External Cooperation Window, 2nd Call (EACEA/34/07)
(link)
Coordinator for the University of L'Aquila unit.
Year 2008.
-
Global
Software Engineering European Master.
Coordinator of the
University of L'Aquila unit.
http://informatica.di.univaq.it/gseem-en/. Year
2007-today
Chairing activities (2010-2006):
-
[ISARCS2010] Co-Funder of the Int. Symposium on
Architecting Critical Systems
-
[SERENE08] Co-Funder
and organizer of the RISE/EFTS Joint International
Workshop on Software Engineering for Resilient
Systems, Newcastle, 2008
-
[ARAMIS08] Co-organizer of the Int. Workshop on "Automated
engineeRing of Autonomic and run-tiMe evolvIng
Systems"
ARAMIS08. September 2008, L'Aquila, Italy.
Co-located with
ASE 2008
-
[ICST08_ST] Co-chair of the ICST Student Paper Track,
the IEEE 1st Int. Conference on
Software Testing,
Verification and Validation
-
[EFTS07] Co-organizer of the 2nd
Int. Workshop on "Engineering of Fault Tolerant
Systems"
EFTS 2007. September 04 2007, Dubrovnik,
Croatia. Co-located with
ESEC/FSE 2007.
-
[WISE07] Co-chair of the ESEC/FSE 2007
WISE track
on "Widened
Software Engineering", part of ESEC/FSE 2007,
September 2007, Dubrovnik, Croatia.
-
[ROSATEA07] Co-organizer
of the 3rd International Workshop on "the
Role of Software Architecture for Testing and
Analysis" -
ROSATEA 2007 - July
10-11, 2006, co-located with CBSE and QoSA 2007.
-
[COMPARCH07]
Co-organizer of the
1st “Federated Events on Component-Based Software
Engineering and Software Architecture” –
CompArch. July 09-13 2007, Boston, USA.
-
[AEROSE07] Co-organizer of the
“1st Int. Workshop on Aerospace Software
Engineering” -
AeroSE 07 May 21-22 2007 Minneapolis, USA.
Co-located with
ICSE 2007.
-
[ROSATEA06] Co-organizer
of the 2nd International Workshop on "the
Role of Software Architecture for Testing and
Analysis" -
ROSATEA 2006 - July 17, 2006, co-located with
ISSTA 2006
-
[EFTS06] Co-organizer of the 1st International Workshop on "Engineering
of Fault Tolerant Systems" -
EFTS 2006 - 12 - 13 June 2006
PC Member (2009/2007):
-
[ICST09] PC member of ICST 08, the 2nd IEEE Int. Conference on
Software Testing,
Verification and Validation
-
[ACM/SAC09]
PC member of ACM/SAC 2009, the 24rt Annual ACM
Symposium on Applied Computing
-
[ASE08] PC member ASE 08, the 23rd IEEE/ACM
Int. Conference on Automated Software Engineering
-
[ASE08_RD] PC member ASE 08 Research Demo, the 23rd IEEE/ACM
Int. Conference on Automated Software Engineering
-
[CBSE08] PC
member CBSE 08, the 11th International SIGSOFT
Symposium on Component-Based Software Engineering
-
[ICST08] PC
member of ICST 08, the IEEE 1st Int. Conference on
Software Testing,
Verification and Validation
-
[ICSE08_Td] Tool Demo PC member at ICSE 2008, the 30th Int.
Conference on Software Engineering
-
[ICSE08_Ws]
Workshop PC member at ICSE 2008, the 30th Int.
Conference on Software Engineering
-
[MODELS08_Ws] Workshop PC members of Models/UML
2008, Int. Conference on Model Driven Engineering
Languages and Systems.
-
[MODELS08_Ds] Doctoral Symposium PC members of
Models/UML 2008, Int. Conference on Model Driven
Engineering Languages and Systems
-
[ACM/SAC08]
PC member of ACM/SAC 2008, the 23rd Annual ACM
Symposium on Applied Computing
-
[ICSOFT08] PC member of ICSOFT 2008, 3rd
International Conference on Software and Data
Technologies.
-
[SEKE08]PC member of SEKE'2008, the 20th
International Conference on Software Engineering and
Knowledge Engineering
-
[WADS08] PC
member WADS 08, DSN 2008 Workshop on Architecting
Dependable Systems
-
[QACOS08] PC member of QACOS 2008, the IEEE
International Workshop on
Quality and Architectural Concerns in Open Source
Software.
-
[ENC08] PC member of the Software Engineering Track
of the ENC 08, Mexican Int. Conference on Computer
Science.
-
[AST08] PC member of the ICSE'08 Workshop on
Automation of Software Test
-
[ECBSE08] PC
member ECBSE 08, 34th EUROMICRO CONFERENCE on
Software Engineering and Advanced Applications (SEAA),
Component-Based Software Engineering Track
-
[ASE07_RV]
Member of the ASE 07 Review Panel, the 22nd IEEE/ACM
Int. Conference on Automated Software Engineering
-
[CBSE07] PC
member CBSE 07, the 10th International SIGSOFT
Symposium on Component-Based Software Engineering
-
[WADS07] PC
member WADS 07, DSN 2007 Workshop on Architecting
Dependable Systems
-
[ICSEA07]PC
member of ICSEA 2007, The Second International
Conference on Software Engineering Advances
-
[ECBSE07] PC
member ECBSE 07, 33rd EUROMICRO CONFERENCE on
Software Engineering and Advanced Applications (SEAA),
Component-Based Software Engineering Track
-
[MODELS07_Ws] Workshop
PC members of Models/UML 2007, Int. Conference on
Model Driven Engineering Languages and Systems.
Journals, Chapters and Others (2009-2007):
-
IEEE TSE, ACM TOSEM, JSA, AUSE
-
Referee for the “Quality Assurance for
Component-based Systems”, special issue of the
International Journal of Software Engineering and
Knowledge Engineering, 2007.
-
Referee for
the Netherlands Organisation for
Scientific Research (NWO)Computer Science proposal
|
|
|
|
Recent Invited
Presentations: |
| |
University of Camerino, December 2007, Italy
"Monitoring Architectural Properties in
Dynamic Component-based Systems"
RISE 2007 Keynote Speech, November 2007, Luxembourg
"Architecting Fault Tolerant Systems"
Siemens SCR, July 2006, Princeton, NJ (USA)
"The Role of Software Architecture for Testing
and Analysis"
Universität Paderborn, Institut für Informatik, July
2005, Paderborn (Germany)
"Model-based Analysis of Software Architectures
our research group experience and future trends"
ITC-IRST, June 2005, Trento (Italy)
"Software Architecture-based Modeling and
Analysis"
Terma GmbH, October 2004, Weiterstadt, Germany
Under a Non Disclosure Agreement
Interest Group on Software Engineering meeting (GIIS),
October 2004
"Functional and Non-Functional Analysis of
Component-Based Systems and Software Architectures"
(presentation)
Software Product Line Conference, Testing Panel,
September 2004
"From SA-based to PLA-based Testing"
(presentation)
University of Southern California (USC), October
2003
"SA-based Code Testing"
(presentation)
Politecnico di Milano, June 2003
"Using Model-Checking Techniques for
Architecture Analysis and Formal Prototyping" (presentation)
SAHARA Project talk, March 2003
"Eliciting Coordination Policies from
Requirements" (presentation)
Georgia Tech, October 2002
"SA-based Code Testing"
(presentation)
University of California Irvine (UCI), March 2002
"Software Architecture and Analysis" (presentation) |
| |
|
Collaborations: |
| |
|
Academic:
I co-authored
papers with:
-
Patrizio Pelliccione,
Mauro Caporuscio, Vittorio Cortellessa, Alfonso
Pierantonio, Davide Di Ruscio, Paola Inverardi,
Fabio Mancinelli, Antinisca di Marco
(Dipartimento di Informatica, University of
L’Aquila)
-
Antonia Bertolino, Eda
Marchetti, Andrea Polini, Stefania Gnesi (ISTI-CNR,
Pisa)
-
Marcio S. Dias, Marlon
Vieira, Debra Richardson, André van der Hoek
(University of California, Irvine)
-
Rogerio de Lemos,
University of Kent
-
Patricia Lago and Hans
Van Vliet (Vrije Universiteit, The Netherlands)
-
Ivica Crnkovic, Sasikumar Punnekkat (Mälardalen
University, Sweden)
-
Ljerka
Beus-Dukic3
(University of Westminster,UK)
-
Pengcheng Zhang,
Bixin Li (School of Computer Science and Engineering,
Southeast University, China)
-
Alexander Romanovsky
and Cristina Gacek, Center for Software Reliability,
University of Newcastle upon Tyne – UK
-
Nicolas Guelfi,
University of Luxembourg
-
Antonio Bucchiarone (currently
in Siemens Portugal)
-
Flavio Corradini (currently
in University of Camerino)
-
Fabrizio Facchini,
Ezio Di Nisio, Fabiano Ricci: former Master students
of mine
-
Pierluigi Pierini
(Technolabs)
Industrial:
-
Siemens SCR, Princeton, NJ, USA
-
Terma GmbH,
Weiterstadt,
Germany
-
Siemens/Nokia, Lisboa, Portugal
-
Siemens C.N.X., L'Aquila, Italy
-
Marconi/Selenia, L'Aquila, Italy
-
Manuali.it, Teramo, Italy
-
Micron, Avezzano, Italy
|
|
|
|
|