Email Record: Approaches to test set generation using binary decision diagrams /