TY  - RPRT
TI  - Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications
AU  - Mansur Arief
AU  - Nur Ahmad Khatim
AU  - Ali Akarma
AU  - Ahmad Alfan Alfian Irfan
PY  - 2026
UR  - https://arxiv.org/abs/2607.17686
ID  - 2607.17686
ER  -