A Baseline Framework for the Qualification of LTL Specification Miners.

Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli

Browse the full DATE paper archive.