An artificial intelligence approach to test generation See original record