Automatically Extracting Requirements Specifications from Natural Language.
Automated Whitebox Fuzz Testing