Can Large Language Models Write Good Property-Based Tests?

Vasudev Vikram, Caroline Lemieux, Joshua Sunshine +1

Property-based testing (PBT), while an established technique in the software testing research community, is still relatively underused in real-world software. Pain points in writin…