Menghi, C.
,
Rizzi, A. M.
,
Bernasconi, A.
, &
Spoletini, P.
(2021).
TOrPEDO: Witnessing Model Correctness with Topological Proofs.
Formal Aspects of Computing, 33
(6), 1039-1066.
Gaaloul, K.
(2021).
Verification of design models of cyber-physical systems specified in Simulink
.
Unpublished doctoral thesis, University of Luxembourg, Luxembourg, Luxembourg.
Ul Haq, F.
,
Shin, D.
,
Nejati, S.
, &
Briand, L.
(2021).
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
Empirical Software Engineering, 26
(5).
Ul Haq, F.
,
Shin, D.
,
Briand, L.
,
Stifter, T.
, &
Wang, J.
(2021).
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper).
2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
(pp. 91-102).
Borg, M.
,
Ben Abdessalem (helali), R.
,
Nejati, S.
,
François-Xavier, J.
, &
Shin, D.
(2021).
Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators.
2021 IEEE 14th International Conference on Software Testing, Validation and Verification (ICST)
(pp. 383-393).
Fahmy, H.
,
Pastore, F.
,
Bagherzadeh, M.
, &
Briand, L.
(2021).
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.
IEEE Transactions on Reliability, 70
(4), 1641-1657.
Menghi, C.
,
Vigano, E.
,
Bianculli, D.
, &
Briand, L.
(2021).
ThEodorE: a Trace Checker for CPS Properties.
Companion Proceedings of the 43rd International Conference on Software Engineering
.
Menghi, C.
,
Vigano, E.
,
Bianculli, D.
, &
Briand, L.
(2021).
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.
Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021)
(pp. 847-859).
Boufaied, C.
(2021).
Specification and Model-driven Trace Checking of Complex Temporal Properties
.
Unpublished doctoral thesis, University of Luxembourg, Kirchberg, Luxembourg.
Boufaied, C.
,
Jukss, M.
,
Bianculli, D.
,
Briand, L.
, &
Yago, I. P.
(2021).
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization.
Journal of Systems and Software, 174
, 110881.
Askarpour, M.
,
Tsigkanos, C.
,
Menghi, C.
,
Calinescu, R.
,
Pelliccione, P.
,
García, S.
,
Caldas, R.
,
von Oertzen, T. J. V.
,
Wimmer, M.
,
Berardinelli, L.
,
Rossi, M.
,
Bersani, M. M.
, &
Rodrigues, G. S.
(2021).
RoboMAX: Robotic Mission Adaptation eXemplars.
Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Artifact Track
.
Shin, S. Y.
,
Chaouch, K.
,
Nejati, S.
,
Sabetzadeh, M.
,
Briand, L.
, &
Zimmer, F.
(2021).
Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems.
Journal of Systems and Software
.
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
.