Project Papers

  • F. Lonetti, E. Marchetti. “On-line tracing of XACML-based policy coverage criteria”. IET Software, Available online
    http://digital-library.theiet.org/content/journals/10.1049/iet-sen.2017.0351
  • F. Lonetti, E. Marchetti. “Issues and Challenges of Access Control in the Cloud”. In Proceedings of 14th International Conference on Web Information Systems and Technologies (WEBIST), Seville, Spain, 18-20 september 2018
  • A. Bertolino, S. Daoudagh, F. Lonetti, Eda Marchetti. “An automated model-based test oracle for access control systems”. In Proceedings of the 13th International Workshop on Automation of Software Test, pp. 2-8. ACM, 2018.
  • A. Bertolino, B. Miranda, R. Pietrantuono, S. Russo. “Adaptive Coverage and Operational Profile-Based Testing for Reliability Improvement.” In Proceedings of the 39th International Conference on Software Engineering (ICSE), p. 541-551, 2017.
  • A. Pecchia, S. Russo, S. Sarkar. “Assessing Invariant Mining Techniques for Cloud-based Utility Computing Systems”. IEEE Transactions on Services Computing. DOI: 10.1109/TSC.2017.2679715. (Available online: 08/03/2017)
  • M.Cinque, D.Cotroneo, A.Pecchia, R.Pietrantuono, S.Russo. “Debugging‐workflow‐aware software reliability growth analysis”. Software Testing, Verification & Reliability, Vol. 27, Issue 7, Wiley, 2017.
  • R. Pietrantuono, S. Russo. Search-based Optimization for the Testing Resource Allocation Problem: Research Trends and Opportunities. ACM/IEEE 11th International Workshop on Search-Based Software Testing (SBST’18), co-located with the 40th International Conference on Software Engineering (ICSE), p. 6-12, Gothenburg, Sweden, ACM, 2018
  • G. Carrozza, R. Pietrantuono, S. Russo. “A Software Quality Framework for Large-Scale Mission-Critical Systems Engineering”. Information and Software Technology, Vol. 102, p. 100-116, Elsevier, 2018.
  • M.Ficco, R.Pietrantuono, S.Russo. “Aging-related Performance Anomalies in the Apache Storm Stream Processing System”. Future Generation Computer Systems, Vol. 86, pp. 975-994, 2018.
  • M. Ficco, R. Pietrantuono, S. Russo, “Hybrid Simulation and Test of Vessel Traffic Systems on the Cloud”. IEEE Access, Vol. 6, Issue 1, 2018.
  • M. Cinque, C. Esposito, S.Russo. “Trust Management in Fog/Edge Computing by means of Blockchain Technologies”.
    InProceedings of the IEEE Symposium on Recent Advances on Blockchain and Its Applications,
    co-located with the IEEE International Conference on Blockchain (Blockchain-2018), Halifax, Canada, July 30-August 3, 2018.
  • R.Pietrantuono, S.Russo.”Probabilistic sampling-based testing for accelerated reliability assessment”. In Proceedings of  the 18th IEEE Int. Conference on Software Quality, Reliability, and Security (QRS), Lisbon, July 16-20, 2018, IEEE CS. (BEST PAPER AWARD)
  • A. Furno, N. E. El Faouzi, R. Sharma, V. Cammarota, E. Zimeo. “A Graph-based Framework for Real-time Vulnerability Assessment of Road Networks”. In Proceedings of IEEE SmartComp 2018. Download PDF
  • A. Calabrò, F. Lonetti, E. Marchetti.”Monitoring of access control policy for predictive refinement and maintenance”. In Proceeding of 10th Software Quality Days (SWQD) 2018, January 16 – 19, 2018 in Vienna, to appear
  • P. Barsocchi, A. Calabrò, F. Lonetti, E. Marchetti, F. Palumbo. “Leveraging Smart Environments for runtime resources management”. In Proceeding of 10th Software Quality Days (SWQD) 2018, January 16 – 19, 2018 in Vienna, to appear
  • B. F. Demissie, M. Ceccato, L. K. Shar. “Anflo: Detecting anomalous sensitive information flows in android apps”. In Proceeding of  ACM/IEEE 5th International Conference on Mobile Software Engineering and Systems (MOBILESoft 2018), 2018, pages 24-34
  • A. Calabrò, F. Lonetti, E. Marchetti. “Access Control Policy Coverage Assessment Through Monitoring”. In Proceedings of TELERISE 2017 – Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, Trento, Italy, September 12, 2017, pp 373—383.
  • A. Bertolino, B. Miranda, R. Pietrantuono, S. Russo. “Adaptive Coverage and Operational Profile-Based Testing for Reliability Improvement.” In Proceedings of the 39th International Conference on Software Engineering (ICSE’17). Download PDF.
  • A. Pecchia, S. Russo, S. Sarkar. “Assessing Invariant Mining Techniques for Cloud-based Utility Computing Systems”. IEEE Transactions on Services Computing. DOI: 10.1109/TSC.2017.2679715. IEEE, 2017 (Available online: 08/03/2017)
  • O. Riganelli, D. Micucci, L. Mariani. “Policy Enforcement with Proactive Libraries”. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’17) colocated with 39th International Conference on Software Engineering (ICSE’17). Download PDF
  • L. Gazzola, L. Mariani, F. Pastore, M. Pezzè. “An Exploratory Study of Field Failure”. In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE’17).
  • L. Gazzola. “Field Testing of Software Applications”. In Proceedings of the 39th International Conference on Software Engineering Companion (ICSE Companion).
  • O. Riganelli, D. Micucci, L. Mariani, Y. Falcone. “Verifying Policy Enforces”. In Proceedings of the 17th International Conference on Runtime Verification (RV’17). Download PDF.
  • D. Cianciullia, G. Canforaa, E. Zimeoa. “Beacon-based context-aware architecture for crowd sensing public transportation scheduling and user habits”. In Proceedings of the International Workshop on Smart Cities Systems Engineering (SCE’17). Download PDF.
  • M. Cinque, D. Cotroneo, A. Pecchia, R. Pietrantuono, S. Russo “Debugging‐workflow‐aware software reliability growth analysis” Software Testing, Verification & Reliability.
  • A. Bertolino, B. Miranda, R. Pietrantuono, S. Russo. “Adaptive Coverage and Operational Profile-Based Testing for Reliability Improvement”. In Proceedings of the 39th International Conference on Software Engineering (ICSE’17). Download PDF.
  • Antonio Pecchia, Stefano Russo, Santonu Sarkar. “Assessing Invariant Mining Techniques for Cloud-based Utility Computing Systems”. IEEE Transactions on Services Computing. DOI: 10.1109/TSC.2017.2679715. IEEE, 2017 (Available online: 08/03/2017)

Background Papers

  • Università degli Studi di Napoli “Federico II”
    • Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo. “RELAI testing: a technique to assess and improve software reliability”. IEEE Transactions on Software Engineering, Vol. 42, Issue: 5, pages: 452-475, IEEE, 2016.
    • Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli. “An OS-level Framework for Anomaly Detection in Complex Software Systems”. IEEE Transactions on Dependable and Secure Computing. Vol. 12, p. 366-372, IEEE, 2015.
    • Gabriella Carrozza, Roberto Pietrantuono, Stefano Russo. “Defect analysis in mission-critical software systems: a detailed investigation”. Journal of Software: Evolution and Process. Vol. 27 (1), p. 22-49, Wiley & Sons, 2015.
  • Libera Università di BOLZANO
    • B. Russo, G. Succi, W. Pedrycz. “Mining system logs to learn error predictors: a case study of a telemetry system”. Empirical Software Engineering Journal. Vol. 20, n. 4. Pages 879–927, Springer, 2015.
    • S. Astromskis, A. Janes, M. Mairegger. “A process mining approach to measure how users interact with software: an industrial case study”. In Proceedings of the 2015 International Conference on Software and System Process (ICSSP ’15). Pages 137-141, ACM, 2015.
    • G. Bavota, B. Russo. “A large-scale empirical study on self-admitted technical debt”. In Proceedings of the 13th International Conference on Mining Software Repositories (MSR ’16). Pages 315-326, ACM, 2016.
  • Università degli Studi di BOLOGNA
    • F. Poggi, D. Rossi, P.  Ciancarini, L. Bompani. “An application of semantic technologies to self adaptations”. In Proceedings of the IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI). IEEE, 2016.
    • F. Poggi, D. Rossi, P. Ciancarini, L. Bompani. “Semantic Run-Time Models for Self-Adaptive Systems: A Case Study”. In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE). Pages 50-55, IEEE, 2016.
  • Università degli Studi del SANNIO di BENEVENTO
    • A. Furno, E. Zimeo. “Context-aware Composition of Semantic Web Services”. Mobile Networks and Applications. Vol. 19, n. 2. Pages 235-248,  Springer, 2014.
    • A. Furno, E. Zimeo. “Self-scaling cooperative discovery of service compositions in unstructured P2P networks”. Journal of Parallel and Distributed Computing. Vol. 74, n. 10. Pages 2994-3025, Elsevier, 2014.
    • L. Bevilacqua, A. Furno, V. Scotto di Carlo, E. Zimeo. “Automatic Generation of Concrete Composition in Adaptive Contexts”. Mediterranean Journal of Computers and Networks. Vol. 8. SoftMotor, 2012.
    • G. Canfora, G. Tretola, E. Zimeo. “Autonomic Workflow and Business Process Modelling for Networked Enterprises”. Methodologies and Technologies for Networked Enterprises, ArtDeco: Adaptive Infrastructures for Decentralised Organisations. Pages 115-142, Springer, 2012.
    • M. Polese, G. Tretola, E. Zimeo. “Self-adaptive management of Web processes”. In Proceedings of 12th IEEE International Symposium on Web Systems Evolution (WSE’10). Pages 33-42, IEEE, 2010.
  • Politecnico di Milano
    • Luciano Baresi, Sam Guinea, Alberto Leva, Giovanni Quattrocchi. “A discrete-time feedback controller for containerized cloud applications”. In Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE ’16). Pages 217-228. 2016.
    • Amir Molzam Sharifloo, Andreas Metzger, Clément Quinton, Luciano Baresi, Klaus Pohl. “Learning and evolution in dynamic software product lines”. In Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’16) colocated with 38th International Conference on Software Engineering (ICSE’16). Pages 158-164. 2016.
    • Luciano Baresi, Clément Quinton. “Dynamically Evolving the Structural Variability of Dynamic Software Product Lines”. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’15) colocated with 37th International Conference on Software Engineering (ICSE’15). Pages  57-63. 2015.
    • G. Cugola e A. Margara. “TESLA: a Formally Defined Event Specification Language”. In Proceedings of the 4th ACM International Conference On Distributed Event-Based Systems (DEBS ’10). Pages 50-61. 2010.
    • G. Cugola e A. Margara, “Processing Flows of Information: From Data Stream to Complex Event Processing”. ACM Computing Surveys. Vol. 44, n. 3, ACM Press, 2012.
    • G. Cugola e A. Margara. “Complex Event Processing with T-REX”. Journal of Systems and Software. Vol. 85, n. 8. Pages. 1709-1728, Elsevier Science, 2012.
    • G. Cugola e A. Margara. “The Complex Event Processing Paradigm”. Data Management in Pervasive Systems. Pages 113-133, Springer International Publishing, 2015.
  • Fondazione Bruno Kessler
    • Paolo Tonella, Roberto Tiella, Duy Cu Nguyen. “Interpolated n-grams for model based testing”. 37th International Conference on Software Engineering (ICSE’14). Pages 562-572, ACM, 2014.
    • A. Panichella, F. M. Kifetew, P. Tonella. “Automated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets”. IEEE Transactions on Software Engineering, 2017.
    • A. Panichella, F. M. Kifetew, P. Tonella. “Reformulating Branch Coverage as a Many-Objective Optimization Problem”. In Proceedings of the 8th International Conference on Software Testing, Verification and Validation (ICST’15). IEEE, 2015.