• 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