SpecTackle - A Specification Mining Experimentation Platform | IEEE Conference Publication | IEEE Xplore