- Healing Data Loss Problems in Android Apps
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2016, IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
10.1109/ISSREW.2016.50
Pdf: https://arxiv.org/pdf/1701.05467.pdf - Policy Enforcement with Proactive Libraries
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2017, IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
IEEE DOI 10.1109/SEAMS.2017.9
Pdf: https://arxiv.org/pdf/1703.08005.pdf - In the Field Monitoring of Interactive Application
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
2017, IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER)
10.1109/ICSE-NIER.2017.19
Pdf: https://arxiv.org/pdf/1705.06511.pdf - GK-Tail+ An Efficient Approach to Learn Software Models
Leonardo Mariani, Mauro Pezzè, Mauro Santoro
2017, IEEE Transactions on Software Engineering, 43/8
10.1109/TSE.2016.2623623
Pdf: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7728088 - Flexible In-The-Field Monitoring
Oscar Cornejo
2017, Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium
10.1109/ICSE-C.2017.37
pdf: https://arxiv.org/pdf/1705.07358.pdf - Field Testing of Software Applications
Luca Gazzola
2017, Proceedings of the International Conference on Software Engineering (ICSE), Doctoral Symposium
10.1109/ICSE-C.2017.30
pdf: https://arxiv.org/pdf/1705.07359.pdf - Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions
Fabrizio Pastore, Leonardo Mariani
2017, International Symposium on Leveraging Applications of Formal Methods
10.1007/978-3-319-47169-3_30
pdf: https://arxiv.org/pdf/1705.08418.pdf - Timed k-Tail: Automatic Inference of Timed Automata
Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
10.1109/ICST.2017.43
pdf: https://arxiv.org/pdf/1705.08399.pdf - Verifying Policy Enforcers
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
2017, Proceedings of the International Conference on Runtime Verification (RV)
10.1007/978-3-319-67531-2_15
pdf: https://arxiv.org/pdf/1707.07473.pdf - BDCI: behavioral driven conflict identification
Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
2017, Proceedings of the 11th Joint Meeting on Foundations of Software Engineering – ESEC/FSE 2017
10.1145/3106237.3106296
pdf: https://arxiv.org/pdf/1708.01650.pdf - VART: a tool for the automatic detection of regression faults
Fabrizio Pastore, Leonardo Mariani
2017, Proceedings of the 11th Joint Meeting on Foundations of Software Engineering – ESEC/FSE 2017
10.1145/3106237.3122819
pdf: https://arxiv.org/pdf/1708.02052.pdf - Fragmented Monitoring
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
2017, Proceedings of PrePost 2017, Electronic Proceedings in Theoretical Computer Science, vol 254 pp 57-68
10.4204/EPTCS.254.5
pdf: https://arxiv.org/pdf/1708.07232.pdf - An Exploratory Study of Field Failures
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
2017, IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)
10.1109/ISSRE.2017.10
Pdf: https://arxiv.org/pdf/1708.09494.pdf - Cloudhealth – a model-driven approach to watch the health of cloud services
Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2018, Proceedings of the 1st International Workshop on Software Health – SoHeal ’18
10.1145/3194124.3194130
Pdf: https://arxiv.org/pdf/1803.05233.pdf - Localizing Faults in Cloud Systems
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2018, IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
ICST.2018.00034
pdf: https://arxiv.org/pdf/1803.00356.pdf - Random or evolutionary search for object-oriented test suite generation?
Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri
2018, Software Testing, Verification and Reliability vol 28/4 10.1002/stvr.1660
pdf: https://onlinelibrary.wiley.com/doi/full/10.1002/stvr.1660 - Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
2018, Proceedings of the International Conference on Software Engineering (ICSE)
10.1145/3180155.3180162
pdf: https://dl.acm.org/citation.cfm?id=3180162 - Increasing the Reusability of Enforcers with Lifecycle Events
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, 11247
10.1007/978-3-030-03427-6_7
pdf: https://arxiv.org/pdf/1810.04893.pdf - Automatic Software Repair: A Survey
Luca Gazzola, Daniela Micucci, Leonardo Mariani
2019, IEEE Transactions on Software Engineering, vol 45/1
10.1109/TSE.2017.2755013
pdf: https://ieeexplore.ieee.org/document/8089448 - Automatic Software Repair: A Survey
Luca Gazzola, Daniela Micucci, Leonardo Mariani
Proceedings of the International Conference on Software Engineering, Journal First Track - A platform for P2P agent-based collaborative applications
Daniela Briola, Daniela Micucci, Leonardo Mariani
2019, Software: Practice and Experience vol 49/3
10.1002/spe.2657
pdf: https://onlinelibrary.wiley.com/doi/pdf/10.1002/spe.2657 - Failure-driven program repair
Davide Ginelli
2019, Proceedings of the 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering – ESEC/FSE 2019
10.1145/3338906.3341464
pdf: https://dl.acm.org/citation.cfm?id=3341464 - A Benchmark of Data Loss Bugs for Android Apps
Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani
2019, IEEE/ACM 16th International Conference on Mining Software Repositories (MSR)
10.1109/msr.2019.00087
pdf: https://arxiv.org/pdf/1905.11040.pdf - VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud
Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmàn, Leonardo Mariani
2019, Proceedings of the 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering – ESEC/FSE 2019
10.1145/3338906.3341185
pdf: https://dl.acm.org/citation.cfm?id=3341185 - GUI testing in production – challenges and opportunities
Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli
2019, Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming – Programming ’19
10.1145/3328433.3328452
pdf: ?? - From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019, Software: Practice and Experience vol 49/3
10.1002/spe.2672
pdf: https://onlinelibrary.wiley.com/doi/epdf/10.1002/spe.2672 - Field Monitoring With Delayed Saving
Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani
2019, IEEE Access vol 7
10.1109/access.2019.2925855
pdf: https://ieeexplore.ieee.org/abstract/document/8751982 - FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019, Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)
pdf: https://arxiv.org/pdf/1911.09388.pdf - Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019, ACM Transactions on Autonomous and Adaptive Systems (TAAS)
pdf: https://arxiv.org/pdf/1911.09357.pdf - Predicting Failures in Multi-Tier Distributed Systems
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2019, Journal of Systems and Software
pdf: https://arxiv.org/pdf/1911.09561.pdf