自动特定化

automated specification