Search papers, labs, and topics across Lattice.
Microsoft
1
0
16
Lax bug reproduction tests can lead to plausible but incorrect patches, but a new iterative framework boosts repair success by refining both tests and fixes.