3 ms·Benchmark for measuring code erosion under iterative specification refinement1 points by dnw 6mo ago