Business Processes Verification for e-Government Service Delivery
Corradini, Flavio, Polini, Andrea, Polzonetti, Alberto, Re, Barbara
Published in Information systems management (01.01.2010)
Published in Information systems management (01.01.2010)
Get full text
Journal Article
An Operational Semantics of BPMN Collaboration
Corradini, Flavio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco
Published in Formal Aspects of Component Software (2016)
Published in Formal Aspects of Component Software (2016)
Get full text
Book Chapter
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts
Barboni, Morena, Morichetta, Andrea, Polini, Andrea
Published in 2021 IEEE/ACM International Conference on Automation of Software Test (AST) (01.05.2021)
Published in 2021 IEEE/ACM International Conference on Automation of Software Test (AST) (01.05.2021)
Get full text
Conference Proceeding
Enhanced mutation testing of smart contracts in support of code inspection
Banescu, Sebastian, Barboni, Morena, Morichetta, Andrea, Polini, Andrea, Zulkoski, Edward
Published in 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (27.05.2024)
Published in 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (27.05.2024)
Get full text
Conference Proceeding
Audition of Web Services for Testing Conformance to Open Specified Protocols
Bertolino, Antonia, Frantzen, Lars, Polini, Andrea, Tretmans, Jan
Published in Architecting Systems with Trustworthy Components (2006)
Published in Architecting Systems with Trustworthy Components (2006)
Get full text
Book Chapter
Conference Proceeding
Evaluation of Cloud Portability of Legacy Applications
De Angelis, Francesco, Polini, Andrea
Published in 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion) (01.12.2018)
Published in 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion) (01.12.2018)
Get full text
Conference Proceeding
Towards a Digital Twin Modelling Notation
Corradini, Flavio, Fedeli, Arianna, Polini, Andrea, Re, Barbara
Published in 2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) (12.09.2022)
Published in 2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) (12.09.2022)
Get full text
Conference Proceeding
Run-time systems failure prediction via proactive monitoring
Zhang, Pengcheng, Muccini, Henry, Polini, Andrea, Xuandong Li
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Get full text
Conference Proceeding
Flexible Execution of Multi-Party Business Processes on Blockchain
Corradini, Flavio, Marcelletti, Alessandro, Morichetta, Andrea, Polini, Andrea, Re, Barbara, Tiezzi, Francesco
Published in 2022 IEEE/ACM 5th International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) (01.05.2022)
Published in 2022 IEEE/ACM 5th International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) (01.05.2022)
Get full text
Conference Proceeding
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice
Corradini, Flavio, Morichetta, Andrea, Polini, Andrea, Re, Barbara, Tiezzi, Francesco
Published in 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) (01.10.2018)
Published in 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) (01.10.2018)
Get full text
Conference Proceeding
Collaboration vs. choreography conformance in BPMN
Corradini, Flavio, Morichetta, Andrea, Polini, Andrea, Re, Barbara, Tiezzi, Francesco
Published in arXiv.org (26.10.2020)
Published in arXiv.org (26.10.2020)
Get full text
Paper
Journal Article
Automatic Test Data Generation for XML Schema-based Partition Testing
Bertolino, Antonia, Gao, Jinghua, Marchetti, Eda, Polini, Andrea
Published in International Conference on Software Engineering: Proceedings of the Second International Workshop on Automation of Software Test; 20-26 May 2007 (20.05.2007)
Published in International Conference on Software Engineering: Proceedings of the Second International Workshop on Automation of Software Test; 20-26 May 2007 (20.05.2007)
Get full text
Conference Proceeding