Home » Authors » M M Abid Naziri, Feiran, Qin, Khush Patel, Marcelo d'Amorim

M M Abid Naziri, Feiran, Qin, Khush Patel, Marcelo d'Amorim

Public reference bibliography and cataloged PDF materials authored or published by M M Abid Naziri, Feiran, Qin, Khush Patel, Marcelo d'Amorim.

Found 1 document(s) Page 1 of 1

A Multi-Domain Study on the Effectiveness of LLMs at Writing Property-Based Tests

Year: 2026 • Source: arxiv.org • Listed PDF

A property-based test (PBT) checks a property of a program on many generated inputs, but writing one takes a property, a generator of valid inputs, and an oracle. LLM-based PBT writers produce all three, yet they have be...