Email Record: Improved test generation and verification using Recursive Learning /