Test Driven FA extensions