International Conference on Program Comprehension

• Author of Extracting Formal Specifications from Documents Using LLMs for Test Automation within the Research Track-track