AutoSpecsGenerator final