A computational approach to testing regular arrays