LLM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software.

Tasmim Rashid, Muhammad Zubair Malik

Browse the full ICST paper archive.