| Date of Award | 2026 |
|---|---|
| Original language | English |
| Supervisor | Ayça Kolukısa (Supervisor) |
Semantic Verification of Requirements-Driven Test Generation from Natural Language by Learnable Intermediate Representations
Student thesis: Doctoral Thesis