Automated Software Testing Using Covering Arrays