Operational definition and automated inference of test-driven development with Zorro