Maximising axiomatization coverage and minimizing regression testing time | IEEE Conference Publication | IEEE Xplore