WCT: A Wrapper for Component Testing. - Antonia Bertolino; Andrea Polini (FIDJI, 2002)

A Framework for Component Deployment Testing. - Antonia Bertolino; Andrea Polini (ICSE, 2003)

Refactoring a Legacy System Using Components. - Eda Marchetti; Francesca Martelli; Andrea Polini (SNPD, 2003)

Integration of "Components" to Test Software Components. - Antonia Bertolino; Eda Marchetti; Andrea Polini (TACoS, 2003)

Audition of Web Services for Testing Conformance to Open Specified Protocols. - Antonia Bertolino; Lars Frantzen; Andrea Polini; Jan Tretmans (Architecting Systems with Trustworthy Components, 2004)

Early performance testing of distributed software applications. - Giovanni Denaro; Andrea Polini; Wolfgang Emmerich (WOSP, 2004)

The Audition Framework for Testing Web Services Interoperability. - Antonia Bertolino; Andrea Polini (EUROMICRO-SEAA, 2005)

Applying advanced uml based testing methodology to e-learning. - Jinghua Gao; Eda Marchetti; Andrea Polini (IADIS AC, 2005)

Interoperability testing of Web Services for e-learning. - Andrea Polini (Elektrotech. Informationstechnik, 2005)

International workshop on service oriented software engineering (IW-SOSE'06). - Elisabetta Di Nitto; Robert J. Hall 001; Jun Han 004; Yanbo Han; Andrea Polini; Kurt Sandkuhl; Andrea Zisman (ICSE, 2006)

Towards an architectural approach for the dynamic and automatic composition of software components. - Antonio Bucchiarone; Andrea Polini; Patrizio Pelliccione; Massimo Tivoli (ROSATEA, 2006)

Systematic Generation of XML Instances to Test Complex Software Applications. - Antonia Bertolino; Jinghua Gao; Eda Marchetti; Andrea Polini (RISE, 2006)

Architectural Verification of Black-Box Component-Based Systems. - Antonia Bertolino; Henry Muccini; Andrea Polini (RISE, 2006)

Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06). - Elisabetta Di Nitto; Robert J. Hall 001; Jun Han 004; Yanbo Han; Andrea Polini; Kurt Sandkuhl; Andrea Zisman (ACM SIGSOFT Softw. Eng. Notes, 2006)

Monitoring Architectural Properties in Dynamic Component-Based Systems. - Henry Muccini; Andrea Polini; Fabiano Ricci; Antonia Bertolino (CBSE, 2007)

TAXI - A Tool for XML-Based Testing. - Antonia Bertolino; Jinghua Gao; Eda Marchetti; Andrea Polini (ICSE Companion, 2007)

Automatic Test Data Generation for XML Schema-based Partition Testing. - Antonia Bertolino; Jinghua Gao; Eda Marchetti; Andrea Polini (AST, 2007)

A QoS Test-Bed Generator for Web Services. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini (ICWE, 2007)

2nd international workshop on service oriented software engineering (IW-SOSWE 2007). - Elisabetta Di Nitto; Andrea Polini; Andrea Zisman (ESEC/SIGSOFT FSE, 2007)

XModel-Based Testing of XSLT Applications. - Antonia Bertolino; Jinghua Gao; Eda Marchetti; Andrea Polini (WEBIST (2), 2007)

Automatic generation of test-beds for pre-deployment QoS evaluation of web services. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini (WOSP, 2007)

Testing software components for integration: a survey of issues and techniques. - Muhammad Jaffar-Ur Rehman; Fakhra Jabeen; Antonia Bertolino; Andrea Polini (Softw. Test. Verification Reliab., 2007)

Improving Trust in Composite eServices Via Run-Time Participants Testing. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Alberto Polzonetti (EGOV, 2008)

A participant testing strategy for service orchestrations. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Alberto Polzonetti (ICDIM, 2008)

Towards Automated WSDL-Based Testing of Web Services. - Cesare Bartolini; Antonia Bertolino; Eda Marchetti; Andrea Polini (ICSOC, 2008)

The PLASTIC Framework and Tools for Testing Service-Oriented Applications. - Antonia Bertolino; Guglielmo De Angelis; Lars Frantzen; Andrea Polini (ISSSE, 2008)

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

Model-Based Generation of Testbeds for Web Services. - Antonia Bertolino; Guglielmo De Angelis; Lars Frantzen; Andrea Polini (TestCom/FATES, 2008)

An architectural approach to the correct and automatic assembly of evolving component-based systems. - Patrizio Pelliccione; Massimo Tivoli; Antonio Bucchiarone; Andrea Polini (J. Syst. Softw., 2008)

Testing Run-time Evolving Systems. - Tudor Dumitras; Frank Eliassen; Kurt Geihs; Henry Muccini; Andrea Polini; Theo Ungerer (Self-Healing and Self-Adaptive Systems, 2009)

On-line validation of service oriented systems in the European Project TAS3. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini (PESOS@ICSE, 2009)

Automated testing of healthcare document transformations in the PICASSO interoperability platform. - Massimo Pascale; Marcello Roselli; Umberto Rugani; Cesare Bartolini; Antonia Bertolino; Francesca Lonetti; Eda Marchetti; Andrea Polini (ICSE Companion, 2009)

WS-TAXI: A WSDL-based Testing Tool for Web Services. - Cesare Bartolini; Antonia Bertolino; Eda Marchetti; Andrea Polini (ICST, 2009)

SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders. - Antonia Bertolino; Andrea Polini (ICST Workshops, 2009)

Designing Quality Business Processes for E-Government Digital Services. - Flavio Corradini; Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (EGOV, 2010)

A Counter-Example Testing Approach for Orchestrated Services. - Francesco De Angelis 001; Andrea Polini; Guglielmo De Angelis (ICST, 2010)

FITE: future integrated testing environment. - Michael W. Whalen; Patrice Godefroid; Leonardo Mariani; Andrea Polini; Nikolai Tillmann; Willem Visser (FoSER, 2010)

Business Processes Verification for e-Government Service Delivery. - Flavio Corradini; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (Inf. Syst. Manag., 2010)

Run-time systems failure prediction via proactive monitoring. - Pengcheng Zhang 001; Henry Muccini; Andrea Polini; Xuandong Li (ASE, 2011)

(role)CAST: A Framework for On-line Service Testing. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini (WEBIST, 2011)

Architecture-Based Testing and System Validation - Workshop Summary. - Bedir Tekinerdogan; Paul C. Clements; Henry Muccini; Michel R. V. Chaudron; Andrea Polini; Eoin Woods (WICSA, 2011)

Improving PA Business Processes through Modeling, Analysis, and Reengineering. - Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (EGOV, 2012)

Livelock and Deadlock Detection for PA Inter-organizational Business Processes. - Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (EGOVIS/EDEM, 2012)

Direct Verification of BPMN Processes through an Optimized Unfolding Technique. - Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (QSIC, 2012)

Validation and Verification Policies for Governance of Service Choreographies. - Guglielmo De Angelis; Antonia Bertolino; Andrea Polini (WEBIST, 2012)

Governance Policies for Verification and Validation of Service Choreographies. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini (WEBIST (Selected Papers), 2012)

Enhancing Service Federation Trustworthiness through Online Testing. - Antonia Bertolino; Guglielmo De Angelis; Sampo Kellomaki; Andrea Polini (Computer, 2012)

Formal Methods to Improve Public Administration Business Processes. - Andrea Polini; Andrea Polzonetti; Barbara Re 001 (RAIRO Theor. Informatics Appl., 2012)

ParTes: A test generation strategy for choreography participants. - Francesco De Angelis 001; Daniele Fanì; Andrea Polini (AST, 2013)

HawkEye: a tool for collaborative business process modelling and verification. - Riccardo Cognini; Damiano Falcioni; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (SAC, 2013)

ServicePot - An Extensible Registry for Choreography Governance. - Midhat Ali; Guglielmo De Angelis; Andrea Polini (SOSE, 2013)

Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies. - Patricia Lago; Grace A. Lewis; Andreas Metzger; Vladimir Tosic; Domenico Bianculli; Antinisca Di Marco; Andrea Polini; Pierluigi Plebani (ACM SIGSOFT Softw. Eng. Notes, 2013)

Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (Business Process Management Workshops, 2014)

Modelling Process Intensive Scenarios for the Smart City. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (EGOV, 2014)

CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems. - Francesco De Angelis 001; Maria Rita Di Berardini; Henry Muccini; Andrea Polini (ICFEM, 2014)

Research challenges in business process adaptability. - Riccardo Cognini; Flavio Corradini; Stefania Gnesi; Andrea Polini; Barbara Re 001 (SAC, 2014)

An Extensible Framework for Online Testing of Choreographed Services. - Midhat Ali; Francesco De Angelis 001; Daniele Fanì; Antonia Bertolino; Guglielmo De Angelis; Andrea Polini (Computer, 2014)

Extending Feature Models to Express Variability in Business Process Models. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (CAiSE Workshops, 2015)

Cloud Readiness Assessment of Legacy Application. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Samuele Sabbatini (CLOSER, 2015)

Process Variability Modeling for Complex Organizations. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (ES, 2015)

An Operational Semantics of BPMN Collaboration. - Flavio Corradini; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (FACS, 2015)

BPFM: A Notation and an Approach to Homogenize Variable Business Processes for Public Services. - Riccardo Cognini; Andrea Polini; Alberto Polzonetti; Barbara Re 001 (IIAI-AAI, 2015)

Learn PAd : Collaborative and Model-based Learning in Public Administrations. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini; Darius Silingas (STAF Projects Showcase, 2015)

A Flexible Architecture to Monitor Dynamic Web Services Composition. - Flavio Corradini; Francesco De Angelis 001; Daniele Fanì; Andrea Polini (WEBIST, 2015)

Inter-organizational business process verification in public administration. - Flavio Corradini; Andrea Polini; Barbara Re 001 (Bus. Process. Manag. J., 2015)

Modeling for Learning in Public Administrations - The Learn PAd Approach. - Guglielmo De Angelis; Alfonso Pierantonio; Andrea Polini; Barbara Re 001; Barbara Thönssen; Robert Woitsch (Domain-Specific Conceptual Modeling, 2016)

Business Process Feature Model: An Approach to Deal with Variability of Business Processes. - Riccardo Cognini; Flavio Corradini; Andrea Polini; Barbara Re 001 (Domain-Specific Conceptual Modeling, 2016)

A Pattern for Enabling Multitenancy in Legacy Application. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Samuele Sabbatini (CLOSER (2), 2016)

Collaborative requirements elicitation in a european research project. - Guglielmo De Angelis; Alessio Ferrari 001; Stefania Gnesi; Andrea Polini (SAC, 2016)

An Overview of Service-Oriented Computing Challenges and Issues. - Flavio Corradini; Francesco De Angelis 001; Daniele Fanì; Andrea Polini (WEBIST (1), 2016)

On Avoiding Erroneous Synchronization in BPMN Processes. - Flavio Corradini; Fabrizio Fornari 001; Chiara Muzi; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BIS, 2017)

Checking Business Process Modeling Guidelines in Apromore. - Fabrizio Fornari 001; Stefania Gnesi; Marcello La Rosa; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (BPM (Demos), 2017)

Supporting Multi-layer Modeling in BPMN Collaborations. - Flavio Corradini; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (EOMAS@CAiSE, 2017)

BProVe: a formal verification framework for business process models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

BProVe: tool support for business process verification. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

Checking Business Process Correctness in Apromore. - Fabrizio Fornari 001; Marcello La Rosa; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (CAiSE Forum, 2018)

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (EDOC, 2018)

Evaluation of Cloud Portability of Legacy Applications. - Francesco De Angelis 001; Andrea Polini (UCC Companion, 2018)

A Guidelines framework for understandable BPMN models. - Flavio Corradini; Alessio Ferrari 001; Fabrizio Fornari 001; Stefania Gnesi; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (Data Knowl. Eng., 2018)

Business process flexibility - a systematic literature review with a software systems perspective. - Riccardo Cognini; Flavio Corradini; Stefania Gnesi; Andrea Polini; Barbara Re 001 (Inf. Syst. Frontiers, 2018)

A formal approach to modeling and verification of business process collaborations. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Sci. Comput. Program., 2018)

Requirements elicitation and refinement in collaborative research projects. - Guglielmo De Angelis; Alessio Ferrari 001; Stefania Gnesi; Andrea Polini (J. Softw. Evol. Process., 2018)

Enabling Auditing of Smart Contracts Through Process Mining. - Flavio Corradini; Fausto Marcantoni; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Massimiliano Sampaolo (From Software Engineering to Formal Methods and Tools, and Back, 2019)

RePROSitory: a Repository Platform for Sharing Business PROcess modelS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BPM (PhD/Demos), 2019)

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Business Process Management Workshops, 2020)

Engineering trustable choreography-based systems using blockchain. - Flávio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (SAC, 2020)

Process-oriented knowledge management and learning in public administrations. - Antonia Bertolino; Guglielmo De Angelis; Andrea Polini; Barbara Re 001; Andrea Sergiacomi (Electron. Gov. an Int. J., 2020)

Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions. - Flavio Corradini; Francesco De Angelis 001; Andrea Polini; Carlo Castagnari; Jacopo de Berardinis; Giorgio Forcina (J. Intell. Syst., 2020)

Correctness checking for BPMN collaborations with sub-processes. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (J. Syst. Softw., 2020)

Collaboration vs. choreography conformance in BPMN. - Flavio Corradini; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Log. Methods Comput. Sci., 2020)

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. - Morena Barboni; Andrea Morichetta 001; Andrea Polini (AST@ICSE, 2021)

RePROSitory: a Repository platform for sharing business PROcess models and logS. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ITBPM@BPM, 2021)

ChorChain: A model-driven framework for choreography-based systems using blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ITBPM@BPM, 2021)

FloWare: An Approach for IoT Support and Application Development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (BPMDS/EMMSAD@CAiSE, 2021)

TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs. - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Marco Piangerelli; Andrea Polini (EGOV, 2021)

Process Variance Analysis and Configuration in the Public Administration Sector. - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Andrea Polini (RTA-CSIT, 2021)

A formal approach for the analysis of BPMN collaboration models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (J. Syst. Softw., 2021)

ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (BPM (PhD/Demos), 2022)

Towards a Digital Twin Modelling Notation. - Flavio Corradini; Arianna Fedeli; Andrea Polini; Barbara Re 001 (DASC/PiCom/CBDCom/CyberSciTech, 2022)

DTMN a Modelling Notation for Digital Twins. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (EDOC Workshops, 2022)

Label-independent feature engineering-based clustering in Public Administration Event Logs (short paper). - Flavio Corradini; Caterina Luciani; Andrea Morichetta 001; Marco Piangerelli; Andrea Polini (EGOV-CeDEM-ePart-*, 2022)

A Choreography-Driven Approach for Blockchain-Based IoT Applications. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (PerCom Workshops, 2022)

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts. - Morena Barboni; Francesco Casoni; Andrea Morichetta 001; Andrea Polini (QUATIC, 2022)

X-IoT: a model-driven approach for cross-platform IoT applications development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (SAC, 2022)

Smart contract testing: challenges and opportunities. - Morena Barboni; Andrea Morichetta 001; Andrea Polini (WETSEB@ICSE, 2022)

Flexible execution of multi-party business processes on blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (WETSEB@ICSE, 2022)

Consistent modelling of hierarchical BPMN collaborations. - Flavio Corradini; Andrea Polini; Barbara Re 001; Lorenzo Rossi 001; Francesco Tiezzi 001 (Bus. Process. Manag. J., 2022)

SuMo: A mutation testing approach and tool for the Ethereum blockchain. - Morena Barboni; Andrea Morichetta 001; Andrea Polini (J. Syst. Softw., 2022)

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (ACM Trans. Manag. Inf. Syst., 2022)

Comparison of general-purpose and domain-specific modelling languages in the IoT domain: A case study from the OMiLAB community. - Arianna Fedeli; Nils Beutling; Emanuele Laurenzi; Andrea Polini (BIR Workshops, 2023)

CATANA: Replay Testing for the Ethereum Blockchain. - Morena Barboni; Guglielmo De Angelis; Andrea Morichetta 001; Andrea Polini (ICTSS, 2023)

RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies. - Francesco Donini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini (SAC, 2023)

A Flexible Approach to Multi-party Business Process Execution on Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Future Gener. Comput. Syst., 2023)

A systematic literature review on IoT-aware business process modeling views, requirements and notations. - Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2023)

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001 (Softw. Syst. Model., 2023)

X-IoT: a model-driven approach to support IoT application portability across IoT platforms. - Flavio Corradini; Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Luca Ruschioni (Computing, 2023)

Process Analysis in Humanitarian Voluntary Geographic Information: the case of the HOT Tasking Manager. - Dagoberto José Herrera-Murillo; Héctor Ochoa-Ortiz; Umair Ahmed; Francisco Javier López-Pellicer; Barbara Re 001; Andrea Polini; Javier Nogueras-Iso (AGILE Conf., 2024)

AOAME4FloWare: ontology-based feature models for context-aware configurations in IoT applications. - Arianna Fedeli; Martin Peraic; Emanuele Laurenzi; Andrea Polini (BIR Workshops, 2024)

Towards Cross-Domain Linking of Data: A Semantic Mapping of Cultural Heritage Ontologies. - Maria Ioanna Maratsi; Umair Ahmed; Charalampos Alexopoulos; Yannis Charalabidis; Andrea Polini (DG.O, 2024)

Enhanced mutation testing of smart contracts in support of code inspection. - Sebastian Banescu; Morena Barboni; Andrea Morichetta 001; Andrea Polini; Edward Zulkoski (ICBC, 2024)

Formal Approaches for Modeling and Analysis of Business Process Collaborations. - Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Lorenzo Rossi 001; Andrea Polini; Francesco Tiezzi 001; Andrea Vandin (ISoLA (1), 2024)

Mutation Testing of Smart Contracts As a Service. - Morena Barboni; Andrea Morichetta 001; Andrea Polini; Sebastian Banescu; Edward Zulkoski (QUATIC, 2024)

BRYT: Automated keyword extraction for open datasets. - Umair Ahmed; Charalampos Alexopoulos; Marco Piangerelli; Andrea Polini (Intell. Syst. Appl., 2024)

ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts. - Morena Barboni; Andrea Morichetta 001; Andrea Polini; Francesco Casoni (Softw. Qual. J., 2024)

FloBP: a model-driven approach for developing and executing IoT-enhanced business processes. - Arianna Fedeli; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Victoria Torres; Pedro Valderas (Softw. Syst. Model., 2024)

Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method. - Morena Barboni; Filippo Lampa; Andrea Morichetta 001; Andrea Polini; Edward Zulkoski (ICBC, 2025)

Looseness for Choreography-based Software Architectures on Blockchain. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (SAC, 2025)

Blockchain-Based Execution of BPMN Choreographies with Multiple Instances. - Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001 (Distributed Ledger Technol. Res. Pract., 2025)

Wielding Blockchain Transactions for Capture-Replay Testing of Upgradeable Smart Contracts. - Morena Barboni; Guglielmo De Angelis; Andrea Morichetta 001; Andrea Polini (ACM Trans. Internet Techn., 2025)