Projects

1. Participating in STAAR project (SW disaster center), 2022-
2. Participating in Machine learning-based program state transformation modeling for SW bug detection project funded by NRF, 2024-
3. Participated in Logic-based and search-based dynamic testing project funded by LIGNex1, 2022-2024
4. Participated in Effective and efficient SW unit fuzzing for regression testing project funded by NRF, 2021-2024
5. Participated in Intelligent automation techniques for code-based verification of fullstack software project funded by NRF, 2018-2021