A tool which generates covering arrays based on contraint programming