Ernst, G., Arcaini, P., Bennani, I., Donzé, A., Fainekos, G., Frehse, G., Mathesen, L., Menghi, C., Pedrinelli, G., Pouzet, M., Yaghoubi, S., Yamagata, Y., & Zhang, Z. (2020). ARCH-COMP 2020 Category Report: Falsification. EPiC Series in Computing. doi:10.29007/trr1

Boufaied, C., Menghi, C., Bianculli, D., Briand, L., & Isasi Parache, Y. (2020). Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20). doi:10.5381/JOT.2019.18.2.A15

Ul Haq, F., Shin, D., Nejati, S., & Briand, L. (2020). Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE. doi:10.1109/ICST46399.2020.00019

Ben Abdessalem, R., Panichella, A., Nejati, S., Briand, L., & Stifter, T. (2020). Automated Repair of Feature Interaction Failures in Automated Driving Systems. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020).

Torre, D., Labiche, Y., Genero, M., Elaasar, M., & Menghi, C. (2020). UML Consistency Rules:a Case Study with Open-Source UML Models. In Proceedings of the 8th International Conference on Formal Methods in Software Engineering (pp. 130-140). doi:10.1145/3372020.3391554

García, S., Pelliccione, P., Menghi, C., Berger, T., & Bures, T. (2020). PROMISE: high-level mission specification for multiple robots. In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE): Companion Proceedings. doi:10.1145/3377812.3382143

Shin, S. Y., Nejati, S., Sabetzadeh, M., Briand, L., Arora, C., & Zimmer, F. (2020). Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20). doi:10.1145/3387939.3391603

Menghi, C., Bersani, M., Rossi, M., & San Pietro, P. (April 2020). Model Checking MITL formulae on Timed Automata: a Logic-Based Approach. ACM Transactions on Computational Logic, 21 (3). doi:10.1145/3383687

Menghi, C., Rizzi, A. M., & Bernasconi, A. (2020). Integrating Topological Proofs with Model Checking to Instrument Iterative Design. In Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020 (pp. 53-74).

Soltana, G., Sabetzadeh, M., & Briand, L. (April 2020). Practical Constraint Solving for Generating System Test Data. ACM Transactions on Software Engineering and Methodology, 29 (2), 11:1-11:48. doi:10.1145/3381032

Bersani, M. M., Soldo, M., Menghi, C., Pelliccione, P., & Rossi, M. (2020). PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects of Computing. doi:10.1007/s00165-020-00509-0

Mai, X. P., Pastore, F., Goknil, A., & Briand, L. (2020). Metamorphic Security Testing for Web Systems. In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE. doi:10.1109/ICST46399.2020.00028

Askarpour, M., Menghi, C., Belli, G., Bersani, M., & Pelliccione, P. (2020). Mind the gap: Robotic Mission Planning Meets Software Engineering. In Proceedings of the 8th International Conference on Formal Methods in Software Engineering. doi:10.1145/3372020.3391561

Gaaloul, K., Menghi, C., Nejati, S., Briand, L., & Wolfe, D. (2020). Mining Assumptions for Software Components using Machine Learning. In Proceedings of the The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). doi:10.1145/3368089.3409737

Hajri, I., Göknil, A., Pastore, F., & Briand, L. (2020). Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines. Empirical Software Engineering, 25 (5), 3711–3769. doi:10.1007/s10664-020-09853-4

Mai, X. P., Göknil, A., Pastore, F., & Briand, L. (2020). SMRL: A Metamorphic Security Testing Tool for Web Systems. In 2020 IEEE/ACM 42nd International Conference on Software Engineering. doi:10.1145/3377812.3382152

Menghi, C., Nejati, S., Briand, L., & Yago, I. P. (2020). Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification. In Proceedings of the 42nd International Conference on Software Engineering.