BEN: A combinatorial testing-based fault localization tool | IEEE Conference Publication | IEEE Xplore