Learning From Failing and Passing Executions At the Speed of Internet

Informations projet

Learn

N° de convention de subvention: 646867

DOI

10.3030/646867

Projet clôturé

Date de signature de la CE 29 Avril 2015

Date de début 1 Octobre 2015

Date de fin 30 Septembre 2019

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 141 875,00

Contribution de l’UE

€ 1 141 875,00

Coordonné par

UNIVERSITA' DEGLI STUDI DI MILANO-BICOCCA
Italy

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (9)

Automatic Software Repair: A Survey

Auteurs: Luca Gazzola, Daniela Micucci, Leonardo Mariani
Publié dans: IEEE Transactions on Software Engineering, Numéro Monthly, 2017, Page(s) 1-1, ISSN 0098-5589
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TSE.2017.2755013

Fragmented Monitoring

Auteurs: Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 254, 2017, Page(s) 57-68, ISSN 2075-2180
Éditeur: Electronic Proceedings in Theoretical Computer Science
DOI: 10.4204/EPTCS.254.5

Random or evolutionary search for object-oriented test suite generation?

Auteurs: Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri
Publié dans: Software Testing, Verification and Reliability, Numéro 28/4, 2018, Page(s) e1660, ISSN 0960-0833
Éditeur: John Wiley & Sons Inc.
DOI: 10.1002/stvr.1660

A platform for P2P agent-based collaborative applications

Auteurs: Daniela Briola, Daniela Micucci, Leonardo Mariani
Publié dans: Software: Practice and Experience, 2018, ISSN 0038-0644
Éditeur: John Wiley & Sons Inc.
DOI: 10.1002/spe.2657

From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps

Auteurs: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Publié dans: Software: Practice and Experience, Numéro 49/3, 2018, Page(s) 540-548, ISSN 0038-0644
Éditeur: John Wiley & Sons Inc.
DOI: 10.1002/spe.2672

Field Monitoring With Delayed Saving

Auteurs: Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani
Publié dans: IEEE Access, Numéro 7, 2019, Page(s) 85913-85924, ISSN 2169-3536
Éditeur: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2925855

Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement

Auteurs: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Publié dans: ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2020, ISSN 1556-4665
Éditeur: Association for Computing Machinary, Inc.

Predicting Failures in Multi-Tier Distributed Systems

Auteurs: Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Publié dans: Journal of Systems and Software, 2020, ISSN 0164-1212
Éditeur: Elsevier BV

GK-Tail+ An Efficient Approach to Learn Software Models

Auteurs: Leonardo Mariani, Mauro Pezze, Mauro Santoro
Publié dans: IEEE Transactions on Software Engineering, 2016, Page(s) 1-1, ISSN 0098-5589
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TSE.2016.2623623

Conference proceedings (20)

Verifying Policy Enforcers

Auteurs: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
Publié dans: Proceedings of the International Conference on Runtime Verification (RV), Numéro Annual, 2017, Page(s) 241-258
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-67531-2_15

VART: a tool for the automatic detection of regression faults

Auteurs: Fabrizio Pastore, Leonardo Mariani
Publié dans: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, Numéro Annual, 2017, Page(s) 964-968, ISBN 9781-450351058
Éditeur: ACM Press
DOI: 10.1145/3106237.3122819

BDCI: behavioral driven conflict identification

Auteurs: Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
Publié dans: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, Numéro Annual, 2017, Page(s) 570-581, ISBN 9781-450351058
Éditeur: ACM Press
DOI: 10.1145/3106237.3106296

An Exploratory Study of Field Failures

Auteurs: Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezze
Publié dans: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), Numéro Annual, 2017, Page(s) 67-77, ISBN 978-1-5386-0941-5
Éditeur: IEEE
DOI: 10.1109/ISSRE.2017.10

Cloudhealth - a model-driven approach to watch the health of cloud services

Auteurs: Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
Publié dans: Proceedings of the 1st International Workshop on Software Health - SoHeal '18, 2018, Page(s) 40-47, ISBN 9781450357302
Éditeur: ACM Press
DOI: 10.1145/3194124.3194130

Localizing Faults in Cloud Systems

Auteurs: Leonardo Mariani, Cristina Monni, Mauro Pezze, Oliviero Riganelli, Rui Xin
Publié dans: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 2018, Page(s) 262-273, ISBN 978-1-5386-5012-7
Éditeur: IEEE
DOI: 10.1109/ICST.2018.00034

Automatic Software Repair: A Survey

Auteurs: Luca Gazzola, Daniela Micucci, Leonardo Mariani
Publié dans: Proceedings of the International Conference on Software Engineering, 2018, Page(s) 1219
Éditeur: ACM

Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles

Auteurs: Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
Publié dans: Proceedings of the International Conference on Software Engineering, 2018, Page(s) 280-290, ISBN 978-1-4503-5638-1
Éditeur: ACM
DOI: 10.1145/3180155.3180162

Failure-driven program repair

Auteurs: Davide Ginelli
Publié dans: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019, 2019, Page(s) 1156-1159, ISBN 9781-450355728
Éditeur: ACM Press
DOI: 10.1145/3338906.3341464

A Benchmark of Data Loss Bugs for Android Apps

Auteurs: Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani
Publié dans: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019, Page(s) 582-586, ISBN 978-1-7281-3412-3
Éditeur: IEEE
DOI: 10.1109/msr.2019.00087

VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud

Auteurs: Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmàn, Leonardo Mariani
Publié dans: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019, 2019, Page(s) 1085-1089, ISBN 9781450355728
Éditeur: ACM Press
DOI: 10.1145/3338906.3341185

GUI testing in production - challenges and opportunities

Auteurs: Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli
Publié dans: Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19, 2019, Page(s) 1-3, ISBN 9781-450362573
Éditeur: ACM Press
DOI: 10.1145/3328433.3328452

FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade

Auteurs: Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Publié dans: Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2019
Éditeur: IEEE

Healing Data Loss Problems in Android Apps

Auteurs: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Publié dans: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Numéro annual, 2016, Page(s) 146-152, ISBN 978-1-5090-3601-1
Éditeur: IEEE
DOI: 10.1109/ISSREW.2016.50

Policy Enforcement with Proactive Libraries

Auteurs: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Publié dans: 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017, Page(s) 182-192, ISBN 978-1-5386-1550-8
Éditeur: IEEE
DOI: 10.1109/SEAMS.2017.9

In the Field Monitoring of Interactive Application

Auteurs: Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
Publié dans: 2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER), 2017, Page(s) 55-58, ISBN 978-1-5386-2675-7
Éditeur: IEEE
DOI: 10.1109/ICSE-NIER.2017.19

Flexible In-The-Field Monitoring

Auteurs: Oscar Cornejo
Publié dans: Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium, Numéro Annual, 2017, Page(s) 479 - 480, ISBN 978-1-5386-1589-8
Éditeur: IEEE
DOI: 10.1109/ICSE-C.2017.37

Field Testing of Software Applications

Auteurs: Luca Gazzola
Publié dans: Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium, Numéro annual, 2017, Page(s) 429 - 432, ISBN 978-1-5386-1589-8
Éditeur: IEEE
DOI: 10.1109/ICSE-C.2017.30

Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions

Auteurs: Fabrizio Pastore, Leonardo Mariani
Publié dans: International Symposium on Leveraging Applications of Formal Methods, 2016, Page(s) 388-393, ISBN 978-3-319-47168-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-47169-3_30

Timed k-Tail: Automatic Inference of Timed Automata

Auteurs: Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
Publié dans: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), Numéro Annual, 2017, Page(s) 401-411, ISBN 978-1-5090-6031-3
Éditeur: IEEE
DOI: 10.1109/ICST.2017.43

Book chapters (1)

Increasing the Reusability of Enforcers with Lifecycle Events

Auteurs: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Publié dans: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, Numéro 11247, 2018, Page(s) 51-57, ISBN 978-3-030-03426-9
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-03427-6_7