Henry Muccini
Henry Muccini
Associate Professor in Computer Science, University of L'Aquila
No verified email - Homepage
TitleCited byYear
What industry needs from architectural languages: A survey
I Malavolta, P Lago, H Muccini, P Pelliccione, A Tang
IEEE Transactions on Software Engineering 39 (6), 869-891, 2012
2412012
Software testing of mobile applications: Challenges and future research directions
H Muccini, A Di Francesco, P Esposito
Proceedings of the 7th International Workshop on Automation of Software Test …, 2012
2172012
Using software architecture for code testing
H Muccini, P Inverardi, A Bertolino
IEEE Transactions on Software Engineering 30 (3), 160-171, 2004
1482004
Providing architectural languages and tools interoperability through model transformation technologies
I Malavolta, H Muccini, P Pelliccione, D Tamburri
IEEE Transactions on Software Engineering 36 (1), 119-140, 2009
1092009
Towards testing product line architectures
H Muccini, A Van Der Hoek
Electronic Notes in Theoretical Computer Science 82 (6), 1-11, 2003
1082003
Deriving test plans from architectural descriptions
A Bertolino, F Corradini, P Inverardi, H Muccini
Proceedings of the 2000 International Conference on Software Engineering …, 2000
982000
Introducing a reasonably complete and coherent approach for model-based testing
A Bertolino, E Marchetti, H Muccini
Electronic Notes in Theoretical Computer Science 116, 85-97, 2005
822005
A scoped approach to traceability management
P Lago, H Muccini, H Van Vliet
Journal of Systems and Software 82 (1), 168-182, 2009
812009
Charmy: A framework for designing and verifying architectural specifications
P Pelliccione, P Inverardi, H Muccini
IEEE Transactions on Software Engineering 35 (3), 325-346, 2008
762008
Self-adaptation for cyber-physical systems: a systematic literature review
H Muccini, M Sharaf, D Weyns
Proceedings of the 11th international symposium on software engineering for …, 2016
692016
A classification and comparison of model checking software architecture techniques
P Zhang, H Muccini, B Li
Journal of Systems and Software 83 (5), 723-744, 2010
652010
Software architecture-based regression testing
H Muccini, M Dias, DJ Richardson
Journal of Systems and Software 79 (10), 1379-1396, 2006
582006
Towards software architecture-based regression testing
H Muccini, MS Dias, DJ Richardson
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005
582005
Automated check of architectural models consistency using SPIN
P Inverardi, H Muccini, P Pelliccione
Proceedings 16th Annual International Conference on Automated Software …, 2001
572001
An explorative journey from architectural tests definition down to code tests execution
A Bertolino, P Inverardi, H Muccini
Proceedings of the 23rd International Conference on Software Engineering …, 2001
552001
Detecting implied scenarios analyzing non-local branching choices
H Muccini
International Conference on Fundamental Approaches to Software Engineering …, 2003
522003
A model-driven engineering framework for architecting and analysing wireless sensor networks
K Doddapaneni, E Ever, O Gemikonakli, I Malavolta, L Mostarda, ...
Proceedings of the Third International Workshop on Software Engineering for …, 2012
472012
Developing next generation ADLs through MDE techniques
D Di Ruscio, I Malavolta, H Muccini, P Pelliccione, A Pierantonio
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
462010
A model-driven approach to automate the propagation of changes among Architecture Description Languages
R Eramo, I Malavolta, H Muccini, P Pelliccione, A Pierantonio
Software & Systems Modeling 11 (1), 29-53, 2012
422012
Charmy: an extensible tool for architectural analysis
P Inverardi, H Muccini, P Pelliccione
ACM SIGSOFT Software Engineering Notes 30 (5), 111-114, 2005
422005
The system can't perform the operation now. Try again later.
Articles 1–20