SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications
pex - white box test generation for . net .