Project Papers

  • M. Cinque, C. Esposito, S. Russo, O. Tamburis, Blockchain-empowered decentralised trust management for the Internet of Vehicles security, in Computers & Electrical Engineering, Volume 86, 2020.
  • A. Aquino, G. Denaro and M. Pezzé, “Reusing Solutions Modulo Theories,” in IEEE Transactions on Software Engineering, doi: 10.1109/TSE.2019.2898199.
  • A. Aquino, P. Braione, G. Denaro, P. Salza, Facilitating Program Performance Profiling via Evolutionary Symbolic Execution. Softw Test Verif Reliab. 2020; 30:e1719. https://doi.org/10.1002/stvr.1719
  • O. Cornejo, D. Briola, D. Micucci, L. Mariani, In-the-field monitoring of functional calls: Is it feasible?, in Journal of Systems and Software, 2020.
  • L. Mariani, M. Pezzè, O. Riganelli, R. Xin, Predicting failures in multi-tier distributed systems, in Journal of Systems and Software,
    Volume 161, 2020.
  • A. De Iasio, E. Zimeo, A Framework for Microservices Synchronization, Software: Practice and Experience, 2020.
  • R. Pietrantuono, S. Russo, A. Guerriero, Testing microservice architectures for operational reliability. Softw Test Verif Reliab. 2020; 30:e1725. https://doi.org/10.1002/stvr.1725
  • A. Avritzer, V. Ferme, A. Janes, B. Russo, A. van Hoorn, H. Schulz, D. Menasché, V. Rufino, Scalability Assessment of Microservice Architecture Deployment Configurations: A Domain-based Approach Leveraging Operational Profiles and Load Tests, in Journal of Systems and Software, Volume 165, 2020.
  • E. Giallonardo, F. Poggi, D. Rossi, E. Zimeo, Semantics-driven Programming of Self-adaptive Reactive Systems, in International Journal of Software Engineering and Knowledge Engineering, 2020.
  • Baresi, L., Bersani, M.M., Marconi, F. et al. Using formal verification to evaluate the execution time of Spark applications. Form Asp Comp 32, 33–70 (2020). https://doi.org/10.1007/s00165-020-00505-4
  • R. Pietrantuono, S. Russo, A survey on software aging and rejuvenation in the cloud. Software Qual J 28, 7–38 (2020). https://doi.org/10.1007/s11219-019-09448-3
  • A. Bertolino, G. De Angelis, B. Miranda, P. Tonella. Run Java Applications and Test Them In-Vivo Meantime, In Proceedings of the 13th IEEE International Conference on Soft- ware Testing, Verification and Validation, Tool Track (ICST-Tool), 2020.
  • M. Ceccato, D. Corradini, L. Gazzola, F. Kifetew, L. Mariani, M. Orru, P. Tonella, A Framework for In-Vivo Testing of Mobile Applications. In Proceedings of International Conference on Software Testing, Verification and Validation (ICST), 2020.
  • D. Rossi. Consistency and Availability in Microservice Architectures. In Proceedings of International Conference on Web Information Systems and Technologies, 2020.
  • Bertolino, B. Miranda, A. Guerriero, R. Pietrantuono, S. Russo, Learning-to-Rank vs Ranking-to-Learn: Strategies for Regression Testing in Continuous Integration, In Proceedings of the International Conference on Software Engineering, 2020.
  • O. Cornejo, D. Briola, D. Micucci, L. Mariani. CBR: Controlled Burst Recording, In Proceedings of International Conference on Software Testing, Verification and Validation (ICST), 2020.
  • L. Baresi, M. Garriga, Microservices: The Evolution and Extinction of Web Services?. In: Bucchiarone A. et al. (eds) Microservices, 2020.
  • M. A. Olivero, A. Bertolino, F. J. Domínguez-Mayo, M. J. Escalona, I. Matteucci, “Digital persona portrayal: Identifying pluridentity vulnerabilities in digital life”, in Journal of Information Security and Applications, vol. 52,  2019.
  • L. Gazzola, D. Micucci and L. Mariani, “Automatic Software Repair: A Survey,” in IEEE Transactions on Software Engineering, vol. 45, no. 1, pp. 34-67, 1 Jan. 2019, doi: 10.1109/TSE.2017.2755013.
  • O. Riganelli, D. Micucci, L. Mariani. 2019. Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. ACM Trans. Auton. Adapt. Syst. 14, 2, Article 8 (December 2019), 29 pages. DOI:https://doi.org/10.1145/3368087
  • G. Tretola, E. Zimeo, “Reactive behavioural adaptation of service compositions”. J Softw Evol Proc. 2019; 31:e2201. https://doi.org/10.1002/smr.2201
  • M. Pettinato, J. P. Gil, P. Galeas, B. Russo, “Log mining to re-construct system behavior: An exploratory study on a large telescope system”, in Information and Software Technology 114:121-136, 2019.
  • F. Poggi, D. Rossi, P. Ciancarini. Integrating semantic run-time models for adaptive software systems. in Journal of Web Engineering (JWE) 18(1):1-42 , 2019.
  • Furno A., El Faouzi NE., Sharma R., Zimeo E., Fast Approximated Betweenness Centrality of Directed and Weighted Graphs, In Proceedings of International Conference on Complex Networks and their Applications, 2019.
  • M Autili, A Di Salle, F Gallo, C Pompilio, M Tivoli, “A Choreography-Based and Collaborative Road Mobility System for L’Aquila City”, in Future Internet 11 (6), 132, 2019.
  • L. Baresi, G. Denaro, G. Quattrocchi. 2019. Symbolic execution-driven extraction of the parallel execution plans of Spark applications. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019.
  • D. Cotroneo, L. De Simone, P. Liguori, R. Natella and N. Bidokhti, “Enhancing Failure Propagation Analysis in Cloud Computing Systems,” 2019 IEEE 30th International Symposium on Software Reliability Engineering, 2019.
  • E. Giallonardo, F. Poggi, D. Rossi, E. Zimeo, Context-aware Reactive Systems based on Runtime Semantic Models, In Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019.
  • A. De Iasio, A. Futno, L. Goglia and E. Zimeo, “A Microservices Platform for Monitoring and Analysis of IoT Traffic Data in Smart Cities,” 2019 IEEE International Conference on Big Data (Big Data), 2019.
  • C. Daniel, A. Furno and E. Zimeo, “Cluster-based Computation of Exact Betweenness Centrality in Large Undirected Graphs,” 2019 IEEE International Conference on Big Data (Big Data), 2019.
  • E. Giallonardo, F. Poggi, D. Rossi, E. Zimeo, Context-aware Reactive Systems based on Runtime Semantic Models, In Proceedings of the International Conference on Software Engineering and Knowledge Engineering, 2019.
  • O. Riganelli, M. Mobilio, D. Micucci, L. Mariani, A benchmark of data loss bugs for Android apps, In Proceedings of the 16th International Conference on Mining Software Repositories, 2019.
  • D. Cotroneo, L. De Simone, P. Liguori, R. Natella, N. Bidokhti. How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform. In Proceedings of the 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019.
  • M. Autili, F. Gallo, C. Pompilio, M. Tivoli, Synthesis of Collaborative Systems for Smart Cities, In Proceedings of the Italian Conference on ICT for Smart Cities And Communities, 2019.
  • D. Cotroneo, L. De Simone, A. K. Iannillo, R. Natella, S. Rosiello and N. Bidokhti, “Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform,” 2019 IEEE 30th International Symposium on Software Reliability Engineering, 2019.
  • M. Autili, A. Di Salle, F. Gallo, C. Pompilio, M. Tivoli, Aiding the realization of service-oriented distributed systems, In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019.
  • M. Autili, A. Di Salle, F. Gallo, C. Pompilio, M. Tivoli, CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications, In Proceedings of the International Conference on Coordination Languages and Models, 2019.
  • D. Pizzolotto, R. Fellin and M. Ceccato, “OBLIVE: Seamless Code Obfuscation for Java Programs and Android Apps,” 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2019.
  • G. Costantino, F. Martinelli, I. Matteucci, P. Santi, A Privacy-Preserving Infrastructure for Driver’s Reputation Aware Automotive Services, In Proceedings of International Workshop on Socio-technical Aspects in Security, 2019.
  • G. Costantino and I. Matteucci, “CANDY CREAM – Hacking Infotainment Android Systems to Command Instrument Cluster via Can Data Frame,” IEEE International Conference on Computational Science and Engineering (CSE) and IEEE International Conference on Embedded and Ubiquitous Computing (EUC), 2019.
  • G. Bella, P. Biondi, G. Costantino, I. Matteucci. TOUCAN: A proTocol tO secUre Controller Area Network. In Proceedings of the ACM Workshop on Automotive Cybersecurity , 2019.
  • A. Bertolino, P. Inverardi. Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?, In: ter Beek M., Fantechi A., Semini L. (eds) From Software Engineering to Formal Methods and Tools, and Back, 2019.
  • M.A. Olivero, A. Bertolino, F.J. Dominguez-Mayo, M.J. Escalona, I. Matteucci, Addressing Security Properties in Systems of Systems: Challenges and Ideas, In Proceedings of International Workshop on Software Engineering for Resilient Systems, 2019.
  • G. Costantino, I. Matteucci: Demo: CANDY CREAM. In Proceedings of International Conference on Computer Safety, Reliability, and Security, 2019.
  • A. Bertolino, G. De Angelis, F. Lonetti. Governing Regression Testing in Systems of Systems. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • M. Ceccato, L. Gazzola, F. Kifetew, L. Mariani, M. Orrù, P. Tonella, Toward In-Vivo Testing of Mobile Applications. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • E. Giallonardo, F. Poggi, D. Rossi, E. Zimeo. Resilient Reactive Systems Based on Runtime Semantic Models. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • A. Guerriero, R. Mirandola, R. Pietrantuono, S.Russo. A Hybrid Framework for Web Services Reliability and Performance Assessment. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • A. De Iasio, E. Zimeo. Avoiding Faults due to Dangling Dependencies by Synchronization in Microservices Applications. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • M. Mobilio, M. Orrù, O. Riganelli, A. Tundo, L. Mariani: Anomaly Detection As-a-Service. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • L. Baresi, G. Denaro, G. Quattrocchi. Big-Data Applications as Self-Adaptive Systems of Systems. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • M. Autili, F. Gallo, P. Inverardi, C. Pompilio, M. Tivoli. Introducing Trust in Service-Oriented Distributed Systems through Blockchain. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • A. Janes, B. Russo. Automatic performance monitoring and regression testing during the transition from monolith to microservices. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • A. Riboni, L. Guglielmo, M. Orrù, P. Braione and G. Denaro, Design for Testability of ERMTS Applications. In Proceedings of the International Workshop on Governing Adaptive and Unplanned Systems of Systems, 2019.
  • M. A. Olivero, A. Bertolino, F. J. D. Mayo, M. J. Escalona, I. Matteucci. Security Assessment of Systems of Systems. In Proceedings of  IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES), 2019.
  • R. Pietrantuono, A. Bertolino, G. De Angelis, B. Miranda, S. Russo. Towards continuous software reliability testing in DevOPs. In Proceedings of the IEEE/ACM 14th International Workshop on Automation of Software Test (AST), 2019.
  • G. Denaro, L. Guglielmo, L. Mariani, O. Riganelli. GUI Testing in Production: Challenges and Opportunities. In Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming (Programming ), 2019.
  • F. Kifetew, X. Devroey, U. Rueda. Java unit testing tool competition: seventh round. In Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019.
  • U. Rueda, F. Kifetew, X. Devroey. Towards automated test case generation maturity. In Proceedings of the 12th International Workshop on Search-Based Software Testing(SBST ), 2019.
  • A. Avritzer, D. S. Menasché, V. Rufino, B. Russo, A. Janes, V. Ferme, A. van Hoorn, H. Schulz, PPTAM: Production and Performance Testing Based Application Monitoring. ICPE Companion. In Companion of the ACM/SPEC International Conference on Performance Engineering (ICPE ’19), 2019.
  • D. Cotroneo, L. De Simone, R. Natella, R. Pietrantuono, S. Russo. A Configurable Software Aging Detection and Rejuvenation Agent for Android. In Proceedings of International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019.
  • Pietrantuono, A. Bertolino, G. De Angelis, B. Miranda, S.Russo Towards continuous software reliability testing in DevOps. In Proceedings of the IEEE/ACM 14th International Workshop on Automation of Software Test (AST), 2019.
  • A. Bertolino, B.Miranda, R.Pietrantuono, S.Russo, Hybrid is better: Why and how test coverage and software reliability can benefit each other. In Proceedings of the International Conference on Web Information Systems and Technologies, 2018.
  • L. Baresi, A. Leva and G. Quattrocchi, “Fine-grained Dynamic Resource Allocation for Big-Data Applications,” in IEEE Transactions on Software Engineering, doi: 10.1109/TSE.2019.2931537.
  • L. Baresi, D. F. Mendonça, M. Garriga, S. Guinea, and G. Quattrocchi. 2019. A Unified Model for the Mobile-Edge-Cloud Continuum. ACM Trans. Internet Technol. 19, 2, Article 29 (April 2019), 21 pages. DOI:https://doi.org/10.1145/3226644
  • A. Bertolino, B. Miranda, R. Pietrantuono and S. Russo, “Adaptive Test Case Allocation, Selection and Generation using Coverage Spectrum and Operational Profile,” in IEEE Transactions on Software Engineering, doi: 10.1109/TSE.2019.2906187.
  • A. Panichella, F.M. Kifetew, P. Tonella (2018) Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation. In Proceedings of the International Symposium on Search Based Software Engineering, 2018.
  • Baresi L., Quattrocchi G., Towards Vertically Scalable Spark Applications. In: Mencagli G. et al. (eds) Euro-Par 2018: Parallel Processing Workshops. Euro-Par 2018.
  • V. Cortellessa, A. Di Marco, D. Di Pompeo, F. Gallo, S. Pace, L. Pomante, W. Tiberti. Energy-Driven Reconfiguration of Applications for Wireless Sensor Networks. In Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018.
  • O. Riganelli, D. Micucci, L. Mariani, Increasing the Reusability of Enforcers with Lifecycle Events, In Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2018.
  • R. Pietrantuono and S. Russo, “Robotics Software Engineering and Certification: Issues and Challenges,” 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018.
  • A. Shatnawi, M. Orru, M. Mobilio, O. Riganelli and L. Mariani, “CloudHealth: A Model-Driven Approach to Watch the Health of Cloud Services,” in Proceedings of the 1st International Workshop on Software Health, 2018.
  • L. Mariani, C. Monni, M. Pezzé, O. Riganelli and R. Xin, “Localizing Faults in Cloud Systems,” IEEE 11th International Conference on Software Testing, Verification and Validation, 2018.
  • M. Autili, A. Di Salle, F. Gallo, C. Pompilio, M. Tivoli. 2018. Model-driven adaptation of service choreographies. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC ’18).
  • Marconi F., Quattrocchi G., Baresi L., Bersani M.M., Rossi M. (2018) On the Timed Analysis of Big-Data Applications. In Proceedings of the NASA Formal Methods Symposium, 2018.
  • M. Autili, A. Di Salle, F. Gallo, C. Pompilio, M. Tivoli. 2018. On the model-driven synthesis of evolvable service choreographies. In Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings (ECSA ’18).
  • G. Costantino, F. Martinelli, I. Matteucci and F. Mercaldo, “Improving Vehicle Safety Through a Fog Collaborative Infrastructure,” 2018 IEEE International Conference on Smart Computing (SMARTCOMP), Taormina, 2018, pp. 446-451, doi: 10.1109/SMARTCOMP.2018.00044.
  • D. Pizzolotto and M. Ceccato, “Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries,” 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM), Madrid, 2018, pp. 40-49, doi: 10.1109/SCAM.2018.00012.
  • A. Avritzer, V. Ferme, A. Janes, B. Russo, H. Schulz, A. van Hoorn, A Quantitative Approach for the Assessment of Microservice Architecture Deployment Alternatives by Automated Performance Testing. In Proceedings of European Conference on Software Architecture,  2018.
  • R. Schlick, M. Felderer, I. Majzik, R. Nardone, A. Raschke, C. Snook, V. Vittorini, A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods, In Proceedings of International Symposium on Leveraging Applications of Formal Methods, 2018.
  • R. Pietrantuono, S. Russo and A. Guerriero, “Run-Time Reliability Estimation of Microservice Architectures,” IEEE 29th International Symposium on Software Reliability Engineering, 2018.
  • A. Janes, M. Mairegger, B. Russo. Code_call_lens: raising the developer awareness of critical code. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering , 2018.
  • A. Castiello, G. Fucci, A. Furno and E. Zimeo, “Scalability Analysis of Cluster-based Betweenness Computation in Large Weighted Graphs,” IEEE International Conference on Big Data, 2018.
  • D. Rossi, Microservices: The Chain of Calls and the Radar of Freedom. In Proceedings of WEBIST 2018.
  • F. Lonetti, E. Marchetti. “On-line tracing of XACML-based policy coverage criteria”. IET Software, 2018.
  • 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.
  • D. Rossi, F. Poggi, P. Ciancarini. 2018. Dynamic high-level requirements in self-adaptive systems. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC ’18).
  • B. García et al., “A Proposal to Orchestrate Test Cases,” 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC), Coimbra, 2018, pp. 38-46, doi: 10.1109/QUATIC.2018.00016.
  • 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.
  • G. Costantino, F. Martinelli, I. Matteucci, A. Bertolino, A. Calabro and E. Marchetti, “CARS: Context Aware Reputation Systems to Evaluate Vehicles’ Behaviour,” 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), Cambridge, 2018, pp. 446-453, doi: 10.1109/PDP2018.2018.00078.
  • D. Gadler, M. Mairegger, A. Janes and B. Russo, “Mining Logs to Model the Use of a System,” 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), Toronto, ON, 2017, pp. 334-343, doi: 10.1109/ESEM.2017.47.
  • J. Morán, A. Bertolino, C. de la Riva and J. Tuya, “Towards Ex Vivo Testing of MapReduce Applications,” 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), Prague, 2017, pp. 73-80, doi: 10.1109/QRS.2017.17.
  • G. Costantino, F. Martinelli, I. Matteucci. (2018) Reputation Systems to Mitigate DoS Attack in Vehicular Network. In: D’Agostino G., Scala A. (eds) Critical Information Infrastructures Security. CRITIS 2017.
  • 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.
  • Furno A., El Faouzi NE., Sharma R., Zimeo E. (2018) Reducing Pivots of Approximated Betweenness Computation by Hierarchically Clustering Complex Networks. In Proceedings of the International Conference on Complex Networks and Their Applications, 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
  • V. de Oliveira Neves, A. Bertolino, G. de Angelis, L. Garcés. Do We Need New Strategies for Testing Systems-of-Systems? In Proceedings of the 6th International Workshop on Software Engineering for Systems-of-Systems, 2018.
  • 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)
  • Cornejo, D. Briola, D. Micucci, L. Mariani: Fragmented Monitoring. In Proceedings of the International Workshop on Pre- and Post-Deployment Verification Techniques, 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.