How to certify machine learning based safety-critical systems? A systematic literature review F Tambon, G Laberge, L An, A Nikanjam, PSN Mindom, Y Pequignot, ... Automated Software Engineering 29 (2), 38, 2022 | 85 | 2022 |
A comparison of reinforcement learning frameworks for software testing tasks PS Nouwou Mindom, A Nikanjam, F Khomh Empirical Software Engineering 28 (5), 111, 2023 | 9 | 2023 |
On assessing the safety of reinforcement learning algorithms using formal methods PSN Mindom, A Nikanjam, F Khomh, J Mullins 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 5 | 2021 |
Continuously Learning Bug Locations PSN Mindom, L Da Silva, A Nikanjam, F Khomh arXiv preprint arXiv:2412.11289, 2024 | | 2024 |
Harnessing Pre-trained Generalist Agents for Software Engineering Tasks M Paulina, Stevia, Nouwou, N Amin, K Foutse arXiv preprint arXiv:2312.15536, 2023 | | 2023 |