Static specification mining using automata-based abstractions
Tracking down software bugs using automatic anomaly detection