Robert Heumüller, Sebastian Nielebock 0001, Frank Ortmeier. SpecTackle - A Specification Mining Experimentation Platform. In Miroslaw Staron, Rafael Capilla, Amund Skavhaug, editors, 45th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2019, Kallithea-Chalkidiki, Greece, August 28-30, 2019. pages 178-181, IEEE, 2019. [doi]
Abstract is missing.