Genetic Micro-Programs for Automated Software Testing with Large Path Coverage