Scalable specification mining for verification and diagnosis | IEEE Conference Publication | IEEE Xplore