Automated Testing ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2010-07-06