NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications.

Daniel Leitao, Dante Torres, Flvia de Almeida Barros

Browse the full SEKE paper archive.