Preprint
Jul 2026
Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications
VNVSpec, an open-source framework that makes V&V specifications machine-readable and executable, is introduced, which can handle up to 10,000 requirements and is evaluated by self-application, in which it is continuously assessed in CI against its own specification.
M. Arief, Nur Ahmad Khatim, Ali Akarma et al.
· 0 citations