Automated Assertion Generation from Natural Language Specifications.

Steven J. Frederiksen, John Aromando, Michael S. Hsiao

Browse the full ITC paper archive.