Iat Tou Leong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2021–2025
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DSN | Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications. | Iat Tou Leong, Aleksandar Avdalovic, Raul Barbosa |
| 2023 | DSN | Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP. | Iat Tou Leong, Raul Barbosa |
| 2021 | APSEC | Generation of Oracles using Natural Language Processing. | Iat Tou Leong, Raul Barbosa |