Static specification mining using automata-based abstractionsSharon ShohamEran Yahavet al.2008IEEE Transactions on Software Engineering