Software Testing Verification

Research Frontiers in Specification Inference from Natural Language

Development of techniques to automatically extract formal specifications from requirements and documentation in natural language.

All Software Testing & Verification PhD categories