speci cation mining