Using genetic programming to evolve action selection rules in traversal-based automated software testing: results obtained with the TESTAR tool