collaborators

1 paper

cs.SE2026

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

Tasmim Rashid, Muhammad Zubair Malik

We present an exploratory study on using Large Language Models (LLMs) to generate Alloy formal specifications from both requirements documentation and production source code, and t…