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 9781-450357302 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 9781-450355728 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 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available