Search papers, labs, and topics across Lattice.
Affiliation:
2
0
3
Automated test generation achieves near-zero bug detection on LLM-written code not because tests fail to execute the bugs, but because LLM-generated assertions consistently fail to notice when a fault occurs.
LLMs can slash false positives in dynamic specification inference by generating targeted counterexamples, boosting assertion precision by up to 7%.
