Volume: Vol-4122 STAF-WS 2025 | Year: 2025

Paper: « paper1 | paper2 | paper3 »

Using LLMs to extract OCL specifications from Java and Python programs: an empirical study