add AutoSpecsGenerator