Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

Learning From Failing and Passing Executions At the Speed of Internet

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (9)
Automatic Software Repair: A Survey (odnośnik otworzy się w nowym oknie)

Autorzy: Luca Gazzola, Daniela Micucci, Leonardo Mariani
Opublikowane w: IEEE Transactions on Software Engineering, Numer Monthly, 2017, Strona(/y) 1-1, ISSN 0098-5589
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TSE.2017.2755013

Fragmented Monitoring (odnośnik otworzy się w nowym oknie)

Autorzy: Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 254, 2017, Strona(/y) 57-68, ISSN 2075-2180
Wydawca: Electronic Proceedings in Theoretical Computer Science
DOI: 10.4204/EPTCS.254.5

Random or evolutionary search for object-oriented test suite generation? (odnośnik otworzy się w nowym oknie)

Autorzy: Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri
Opublikowane w: Software Testing, Verification and Reliability, Numer 28/4, 2018, Strona(/y) e1660, ISSN 0960-0833
Wydawca: John Wiley & Sons Inc.
DOI: 10.1002/stvr.1660

A platform for P2P agent-based collaborative applications (odnośnik otworzy się w nowym oknie)

Autorzy: Daniela Briola, Daniela Micucci, Leonardo Mariani
Opublikowane w: Software: Practice and Experience, 2018, ISSN 0038-0644
Wydawca: 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 (odnośnik otworzy się w nowym oknie)

Autorzy: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Opublikowane w: Software: Practice and Experience, Numer 49/3, 2018, Strona(/y) 540-548, ISSN 0038-0644
Wydawca: John Wiley & Sons Inc.
DOI: 10.1002/spe.2672

Field Monitoring With Delayed Saving (odnośnik otworzy się w nowym oknie)

Autorzy: Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani
Opublikowane w: IEEE Access, Numer 7, 2019, Strona(/y) 85913-85924, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2925855

Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement

Autorzy: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Opublikowane w: ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2020, ISSN 1556-4665
Wydawca: Association for Computing Machinary, Inc.

Predicting Failures in Multi-Tier Distributed Systems

Autorzy: Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Opublikowane w: Journal of Systems and Software, 2020, ISSN 0164-1212
Wydawca: Elsevier BV

GK-Tail+ An Efficient Approach to Learn Software Models (odnośnik otworzy się w nowym oknie)

Autorzy: Leonardo Mariani, Mauro Pezze, Mauro Santoro
Opublikowane w: IEEE Transactions on Software Engineering, 2016, Strona(/y) 1-1, ISSN 0098-5589
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TSE.2016.2623623

Conference proceedings (20)
Verifying Policy Enforcers (odnośnik otworzy się w nowym oknie)

Autorzy: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
Opublikowane w: Proceedings of the International Conference on Runtime Verification (RV), Numer Annual, 2017, Strona(/y) 241-258
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-67531-2_15

VART: a tool for the automatic detection of regression faults (odnośnik otworzy się w nowym oknie)

Autorzy: Fabrizio Pastore, Leonardo Mariani
Opublikowane w: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, Numer Annual, 2017, Strona(/y) 964-968, ISBN 9781-450351058
Wydawca: ACM Press
DOI: 10.1145/3106237.3122819

BDCI: behavioral driven conflict identification (odnośnik otworzy się w nowym oknie)

Autorzy: Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
Opublikowane w: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, Numer Annual, 2017, Strona(/y) 570-581, ISBN 9781-450351058
Wydawca: ACM Press
DOI: 10.1145/3106237.3106296

An Exploratory Study of Field Failures (odnośnik otworzy się w nowym oknie)

Autorzy: Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezze
Opublikowane w: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), Numer Annual, 2017, Strona(/y) 67-77, ISBN 978-1-5386-0941-5
Wydawca: IEEE
DOI: 10.1109/ISSRE.2017.10

Cloudhealth - a model-driven approach to watch the health of cloud services (odnośnik otworzy się w nowym oknie)

Autorzy: Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
Opublikowane w: Proceedings of the 1st International Workshop on Software Health - SoHeal '18, 2018, Strona(/y) 40-47, ISBN 9781450357302
Wydawca: ACM Press
DOI: 10.1145/3194124.3194130

Localizing Faults in Cloud Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Leonardo Mariani, Cristina Monni, Mauro Pezze, Oliviero Riganelli, Rui Xin
Opublikowane w: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 2018, Strona(/y) 262-273, ISBN 978-1-5386-5012-7
Wydawca: IEEE
DOI: 10.1109/ICST.2018.00034

Automatic Software Repair: A Survey

Autorzy: Luca Gazzola, Daniela Micucci, Leonardo Mariani
Opublikowane w: Proceedings of the International Conference on Software Engineering, 2018, Strona(/y) 1219
Wydawca: ACM

Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles (odnośnik otworzy się w nowym oknie)

Autorzy: Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
Opublikowane w: Proceedings of the International Conference on Software Engineering, 2018, Strona(/y) 280-290, ISBN 978-1-4503-5638-1
Wydawca: ACM
DOI: 10.1145/3180155.3180162

Failure-driven program repair (odnośnik otworzy się w nowym oknie)

Autorzy: Davide Ginelli
Opublikowane w: 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, Strona(/y) 1156-1159, ISBN 9781-450355728
Wydawca: ACM Press
DOI: 10.1145/3338906.3341464

A Benchmark of Data Loss Bugs for Android Apps (odnośnik otworzy się w nowym oknie)

Autorzy: Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani
Opublikowane w: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019, Strona(/y) 582-586, ISBN 978-1-7281-3412-3
Wydawca: IEEE
DOI: 10.1109/msr.2019.00087

VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud (odnośnik otworzy się w nowym oknie)

Autorzy: Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmàn, Leonardo Mariani
Opublikowane w: 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, Strona(/y) 1085-1089, ISBN 9781450355728
Wydawca: ACM Press
DOI: 10.1145/3338906.3341185

GUI testing in production - challenges and opportunities (odnośnik otworzy się w nowym oknie)

Autorzy: Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli
Opublikowane w: Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19, 2019, Strona(/y) 1-3, ISBN 9781-450362573
Wydawca: ACM Press
DOI: 10.1145/3328433.3328452

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

Autorzy: Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Opublikowane w: Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2019
Wydawca: IEEE

Healing Data Loss Problems in Android Apps (odnośnik otworzy się w nowym oknie)

Autorzy: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Opublikowane w: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Numer annual, 2016, Strona(/y) 146-152, ISBN 978-1-5090-3601-1
Wydawca: IEEE
DOI: 10.1109/ISSREW.2016.50

Policy Enforcement with Proactive Libraries (odnośnik otworzy się w nowym oknie)

Autorzy: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Opublikowane w: 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017, Strona(/y) 182-192, ISBN 978-1-5386-1550-8
Wydawca: IEEE
DOI: 10.1109/SEAMS.2017.9

In the Field Monitoring of Interactive Application (odnośnik otworzy się w nowym oknie)

Autorzy: Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
Opublikowane w: 2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER), 2017, Strona(/y) 55-58, ISBN 978-1-5386-2675-7
Wydawca: IEEE
DOI: 10.1109/ICSE-NIER.2017.19

Flexible In-The-Field Monitoring (odnośnik otworzy się w nowym oknie)

Autorzy: Oscar Cornejo
Opublikowane w: Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium, Numer Annual, 2017, Strona(/y) 479 - 480, ISBN 978-1-5386-1589-8
Wydawca: IEEE
DOI: 10.1109/ICSE-C.2017.37

Field Testing of Software Applications (odnośnik otworzy się w nowym oknie)

Autorzy: Luca Gazzola
Opublikowane w: Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium, Numer annual, 2017, Strona(/y) 429 - 432, ISBN 978-1-5386-1589-8
Wydawca: IEEE
DOI: 10.1109/ICSE-C.2017.30

Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions (odnośnik otworzy się w nowym oknie)

Autorzy: Fabrizio Pastore, Leonardo Mariani
Opublikowane w: International Symposium on Leveraging Applications of Formal Methods, 2016, Strona(/y) 388-393, ISBN 978-3-319-47168-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-47169-3_30

Timed k-Tail: Automatic Inference of Timed Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
Opublikowane w: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), Numer Annual, 2017, Strona(/y) 401-411, ISBN 978-1-5090-6031-3
Wydawca: IEEE
DOI: 10.1109/ICST.2017.43

Book chapters (1)
Increasing the Reusability of Enforcers with Lifecycle Events (odnośnik otworzy się w nowym oknie)

Autorzy: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Opublikowane w: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, Numer 11247, 2018, Strona(/y) 51-57, ISBN 978-3-030-03426-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-03427-6_7

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony

Ostatnia aktualizacja: 15 Sierpnia 2022

Moja broszura

Permalink: https://cordis.europa.eu/project/id/646867/results/pl

European Union, 2025

Moja broszura 0 0