Prasad Bokil, Padmanabhan Krishnan, R. Venkatesh. Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques. ACM SIGSOFT Software Engineering Notes, 40(1):1-8, 2015. [doi]
Abstract is missing.