Skip to content

Author

M. Arief

We have 1 of 14 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

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