Learning From Failing and Passing Executions At the Speed of Internet

Project Information

Learn

Grant agreement ID: 646867

DOI

10.3030/646867

Project closed

EC signature date 29 April 2015

Start date 1 October 2015

End date 30 September 2019

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 141 875,00

EU contribution

€ 1 141 875,00

Coordinated by

UNIVERSITA' DEGLI STUDI DI MILANO-BICOCCA
Italy

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (9)

Automatic Software Repair: A Survey

Author(s): Luca Gazzola, Daniela Micucci, Leonardo Mariani
Published in: IEEE Transactions on Software Engineering, Issue Monthly, 2017, Page(s) 1-1, ISSN 0098-5589
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TSE.2017.2755013

Fragmented Monitoring

Author(s): Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 254, 2017, Page(s) 57-68, ISSN 2075-2180
Publisher: Electronic Proceedings in Theoretical Computer Science
DOI: 10.4204/EPTCS.254.5

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

Author(s): Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri
Published in: Software Testing, Verification and Reliability, Issue 28/4, 2018, Page(s) e1660, ISSN 0960-0833
Publisher: John Wiley & Sons Inc.
DOI: 10.1002/stvr.1660

A platform for P2P agent-based collaborative applications

Author(s): Daniela Briola, Daniela Micucci, Leonardo Mariani
Published in: Software: Practice and Experience, 2018, ISSN 0038-0644
Publisher: 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

Author(s): Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Published in: Software: Practice and Experience, Issue 49/3, 2018, Page(s) 540-548, ISSN 0038-0644
Publisher: John Wiley & Sons Inc.
DOI: 10.1002/spe.2672

Field Monitoring With Delayed Saving

Author(s): Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani
Published in: IEEE Access, Issue 7, 2019, Page(s) 85913-85924, ISSN 2169-3536
Publisher: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2925855

Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement

Author(s): Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Published in: ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2020, ISSN 1556-4665
Publisher: Association for Computing Machinary, Inc.

Predicting Failures in Multi-Tier Distributed Systems

Author(s): Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Published in: Journal of Systems and Software, 2020, ISSN 0164-1212
Publisher: Elsevier BV

GK-Tail+ An Efficient Approach to Learn Software Models

Author(s): Leonardo Mariani, Mauro Pezze, Mauro Santoro
Published in: IEEE Transactions on Software Engineering, 2016, Page(s) 1-1, ISSN 0098-5589
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TSE.2016.2623623

Conference proceedings (20)

Verifying Policy Enforcers

Author(s): Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
Published in: Proceedings of the International Conference on Runtime Verification (RV), Issue Annual, 2017, Page(s) 241-258
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-67531-2_15

VART: a tool for the automatic detection of regression faults

Author(s): Fabrizio Pastore, Leonardo Mariani
Published in: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, Issue Annual, 2017, Page(s) 964-968, ISBN 9781-450351058
Publisher: ACM Press
DOI: 10.1145/3106237.3122819

BDCI: behavioral driven conflict identification

Author(s): Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
Published in: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, Issue Annual, 2017, Page(s) 570-581, ISBN 9781-450351058
Publisher: ACM Press
DOI: 10.1145/3106237.3106296

An Exploratory Study of Field Failures

Author(s): Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezze
Published in: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), Issue Annual, 2017, Page(s) 67-77, ISBN 978-1-5386-0941-5
Publisher: IEEE
DOI: 10.1109/ISSRE.2017.10

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

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

Localizing Faults in Cloud Systems

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

Automatic Software Repair: A Survey

Author(s): Luca Gazzola, Daniela Micucci, Leonardo Mariani
Published in: Proceedings of the International Conference on Software Engineering, 2018, Page(s) 1219
Publisher: ACM

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

Author(s): Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
Published in: Proceedings of the International Conference on Software Engineering, 2018, Page(s) 280-290, ISBN 978-1-4503-5638-1
Publisher: ACM
DOI: 10.1145/3180155.3180162

Failure-driven program repair

Author(s): Davide Ginelli
Published in: 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
Publisher: ACM Press
DOI: 10.1145/3338906.3341464

A Benchmark of Data Loss Bugs for Android Apps

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

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

Author(s): Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmàn, Leonardo Mariani
Published in: 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
Publisher: ACM Press
DOI: 10.1145/3338906.3341185

GUI testing in production - challenges and opportunities

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

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

Author(s): Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Published in: Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2019
Publisher: IEEE

Healing Data Loss Problems in Android Apps

Author(s): Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Published in: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Issue annual, 2016, Page(s) 146-152, ISBN 978-1-5090-3601-1
Publisher: IEEE
DOI: 10.1109/ISSREW.2016.50

Policy Enforcement with Proactive Libraries

Author(s): Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Published in: 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
Publisher: IEEE
DOI: 10.1109/SEAMS.2017.9

In the Field Monitoring of Interactive Application

Author(s): Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
Published in: 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
Publisher: IEEE
DOI: 10.1109/ICSE-NIER.2017.19

Flexible In-The-Field Monitoring

Author(s): Oscar Cornejo
Published in: Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium, Issue Annual, 2017, Page(s) 479 - 480, ISBN 978-1-5386-1589-8
Publisher: IEEE
DOI: 10.1109/ICSE-C.2017.37

Field Testing of Software Applications

Author(s): Luca Gazzola
Published in: Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium, Issue annual, 2017, Page(s) 429 - 432, ISBN 978-1-5386-1589-8
Publisher: IEEE
DOI: 10.1109/ICSE-C.2017.30

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

Author(s): Fabrizio Pastore, Leonardo Mariani
Published in: International Symposium on Leveraging Applications of Formal Methods, 2016, Page(s) 388-393, ISBN 978-3-319-47168-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-47169-3_30

Timed k-Tail: Automatic Inference of Timed Automata

Author(s): Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
Published in: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), Issue Annual, 2017, Page(s) 401-411, ISBN 978-1-5090-6031-3
Publisher: IEEE
DOI: 10.1109/ICST.2017.43

Book chapters (1)

Increasing the Reusability of Enforcers with Lifecycle Events

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