A genetic algorithm framework for test generation | Synapse