most citedAccurate Programming: Thinking about programs in terms of properties

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2011★ 1 cited

Accurate Programming: Thinking about programs in terms of properties

Walid Taha, Veronica Gaspes, Rex Page

Accurate programming is a practical approach to producing high quality programs. It combines ideas from test-automation, test-driven development, agile programming, and other state…