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…