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, September 25). ARCH-COMP 2020 Category Report: Falsification. EPiC Series in Computing.

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

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

Ben Abdessalem, R., Panichella, A., Nejati, S., Briand, L., & Stifter, T. (2020). Automated Repair of Feature Interaction Failures in Automated Driving Systems. 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. Proceedings of the 8th International Conference on Formal Methods in Software Engineering (pp. 130-140).

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

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. Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20). NY.

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

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

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

Bersani, M. M., Soldo, M., Menghi, C., Pelliccione, P., & Rossi, M. (2020, March 23). PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects of Computing.

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

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

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

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.

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

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. Proceedings of the 42nd International Conference on Software Engineering.