| Generating automated and online test oracles for simulink models with continuous and uncertain behaviors C Menghi, S Nejati, K Gaaloul, LC Briand Proceedings of the 2019 27th acm joint meeting on european software …, 2019 | 65 | 2019 |
| Evaluating model testing and model checking for finding requirements violations in Simulink models S Nejati, K Gaaloul, C Menghi, LC Briand, S Foster, D Wolfe Proceedings of the 2019 27th acm joint meeting on european software …, 2019 | 44 | 2019 |
| ARCH-COMP 2021 Category Report: Falsification with Validation of Results. G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ... ARCH@ ADHS, 133-152, 2021 | 29 | 2021 |
| Mining assumptions for software components using machine learning K Gaaloul, C Menghi, S Nejati, LC Briand, D Wolfe Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 19 | 2020 |
| Combining genetic programming and model checking to generate environment assumptions K Gaaloul, C Menghi, S Nejati, LC Briand, YI Parache IEEE Transactions on Software Engineering 48 (9), 3664-3685, 2021 | 5 | 2021 |
| Dependent or not: detecting and understanding collections of refactorings T Ferreira, J Ivers, JJ Yackley, M Kessentini, I Ozkaya, K Gaaloul IEEE Transactions on Software Engineering 49 (6), 3344-3358, 2023 | 2 | 2023 |
| What Refactoring Topics Do Developers Discuss? A Large Scale Empirical Study Using Stack Overflow C Abid, K Gaaloul, M Kessentini, V Alizadeh IEEE Access 10, 56362-56374, 2021 | | 2021 |
| Verification of design models of cyber-physical systems specified in Simulink K Gaaloul Unilu-University of Luxembourg, Luxembourg, Luxembourg, 2021 | | 2021 |
