Static specification mining using automata-based abstractions
Mining Temporal Specifications for Error Detection