Recherche #
Publications #
-
2024
Improving automated unit test generation for machine learning libraries using structured input data
University of Namur -
2025
Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation
Proceedings of the 17th International Conference on Computer Supported Education: CSEDU