Henry Muccini
Henry Muccini
Full Professor in Computer Science, University of L'Aquila
Verifierad e-postadress på univaq.it - Startsida
Titel
Citeras av
Citeras av
År
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
3332012
Software testing of mobile applications: Challenges and future research directions
H Muccini, A Di Francesco, P Esposito
2012 7th International Workshop on Automation of Software Test (AST), 29-35, 2012
2752012
Using software architecture for code testing
H Muccini, P Inverardi, A Bertolino
IEEE Transactions on Software Engineering 30 (3), 160-171, 2004
1592004
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
1272009
Towards testing product line architectures
H Muccini, A Van Der Hoek
Electronic Notes in Theoretical Computer Science 82 (6), 99-109, 2003
1162003
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
1082016
Deriving test plans from architectural descriptions
A Bertolino, F Corradini, P Inverardi, H Muccini
Proceedings of the 22nd international conference on Software engineering …, 2000
1072000
A scoped approach to traceability management
P Lago, H Muccini, H Van Vliet
Journal of Systems and Software 82 (1), 168-182, 2009
912009
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
912005
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
792008
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
782010
A model-driven engineering framework for architecting and analysing wireless sensor networks
K Doddapaneni, E Ever, O Gemikonakli, I Malavolta, L Mostarda, ...
2012 Third International Workshop on Software Engineering for Sensor Network …, 2012
672012
Software architecture-based regression testing
H Muccini, M Dias, DJ Richardson
Journal of Systems and Software 79 (10), 1379-1396, 2006
662006
Towards software architecture-based regression testing
H Muccini, MS Dias, DJ Richardson
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005
622005
Automated check of architectural models consistency using SPIN
P Inverardi, H Muccini, P Pelliccione
Proceedings 16th Annual International Conference on Automated Software …, 2001
622001
Detecting implied scenarios analyzing non-local branching choices
H Muccini
International Conference on Fundamental Approaches to Software Engineering …, 2003
582003
Collaborative model-driven software engineering: a classification framework and a research map
M Franzago, D Di Ruscio, I Malavolta, H Muccini
IEEE Transactions on Software Engineering 44 (12), 1146-1175, 2017
572017
An explorative journey from architectural tests definition downto code tests execution
A Bertolino, P Inverardi, H Muccini
Software Engineering, International Conference on, 0211-0211, 2001
572001
The road ahead for architectural languages
P Lago, I Malavolta, H Muccini, P Pelliccione, A Tang
IEEE Software 32 (1), 98-105, 2014
552014
Developing next generation ADLs through MDE techniques
D Di Ruscio, I Malavolta, H Muccini, P Pelliccione, A Pierantonio
2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 85-94, 2010
552010
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20