Tasmim Rashid

Independent Researcher

Papers on Lattice

Total citations

Topics

h-index

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)

Frequent co-authors

Muhammad Zubair Malik (1)

Papers (1)

May 18, 2026

Independent ResearcherMay 18, 2026·also North Dakota State University

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

LLM-generated Alloy specifications can uncover critical bugs that traditional test generation methods miss, revealing a significant gap in current testing practices.

Tasmim Rashid, Muhammad Zubair Malik

Code Generation & Program Synthesis Natural Language Processing

Tasmim Rashid

Research focus

Frequent co-authors

Papers (1)

Search

Tasmim Rashid

Research focus

Frequent co-authors

Papers (1)