Folgen
Henry Muccini
Henry Muccini
Full Professor in Computer Science, University of L'Aquila
Bestätigte E-Mail-Adresse bei univaq.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
3652012
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
3132012
Using software architecture for code testing
H Muccini, P Inverardi, A Bertolino
IEEE Transactions on Software Engineering 30 (3), 160-171, 2004
1652004
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
1392016
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
1342009
Towards testing product line architectures
H Muccini, A Van Der Hoek
Electronic Notes in Theoretical Computer Science 82 (6), 99-109, 2003
1112003
Deriving test plans from architectural descriptions
A Bertolino, F Corradini, P Inverardi, H Muccini
Proceedings of the 22nd international conference on Software engineering …, 2000
1092000
A scoped approach to traceability management
P Lago, H Muccini, H Van Vliet
Journal of Systems and Software 82 (1), 168-182, 2009
962009
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
942005
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
902017
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
862008
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
842010
IoT architectural styles: A systematic mapping study
H Muccini, MT Moghaddam
Software Architecture: 12th European Conference on Software Architecture …, 2018
722018
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
692012
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
632005
The road ahead for architectural languages
P Lago, I Malavolta, H Muccini, P Pelliccione, A Tang
IEEE Software 32 (1), 98-105, 2014
622014
Detecting implied scenarios analyzing non-local branching choices
H Muccini
Fundamental Approaches to Software Engineering: 6th International Conference …, 2003
622003
Automated check of architectural models consistency using SPIN
P Inverardi, H Muccini, P Pelliccione
Proceedings 16th Annual International Conference on Automated Software …, 2001
622001
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
582001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20