Text this: Approaches to test set generation using binary decision diagrams /