Static Specification Mining Using Automata-Based Abstractions | IEEE Journals & Magazine | IEEE Xplore