Software Testing Using Genetic Algorithms