Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search