| An empirical study of Android behavioural code smells detection D Prestat, N Moha, R Villemaire Empirical Software Engineering 27 (7), 179, 2022 | 4 | 2022 |
| Fault detection in timed FSM with timeouts by SAT-solving ON Timo, D Prestat, F Avellaneda 2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019 | 2 | 2019 |
| Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts O Nguena Timo, D Prestat, A Rollet Testing Software and Systems: 31st IFIP WG 6.1 International Conference …, 2019 | 2 | 2019 |
| DynAMICS: A tool-based method for the specification and dynamic detection of Android behavioural code smells D Prestat, N Moha, R Villemaire, F Avellaneda IEEE Transactions on Software Engineering, 2024 | | 2024 |
| DYNAMICS: ÉTUDE EMPIRIQUE, SPÉCIFICATION ET DÉTECTION D PRESTAT | | 2023 |
| DYNAMICS: étude empirique, spécification et détection dynamique des défauts de code comportementaux dans les applications mobiles D Prestat Université du Québec à Montréal, 2023 | | 2023 |
| PROCEEDINGS-19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS 2019 VL Abdollahi, F Khendek, MA Saied, M Toeroe, TO Nguena, F Avellaneda, ... Learning 326, 333, 2019 | | 2019 |
| Fault Detection for Timed FSM with Timeouts by Constraint Solving ON Timo, D Prestat, F Avellaneda arXiv preprint arXiv:1811.11119, 2018 | | 2018 |
| Fault Detection for Timed FSM with Timeouts by Constraint Solving O Nguena Timo, D Prestat, F Avellaneda arXiv e-prints, arXiv: 1811.11119, 2018 | | 2018 |
