Text this: Test generation from recursive tile systems.