{log} as a Test Case Generator for the Test Template Framework