Code for Test-Driven Development by Example