Speccing the sources for generating test data