Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications

Mansur Arief, Nur Ahmad Khatim, Ali Akarma +1

Modern software teams have mature tools for low-level testing, such as pytest, JUnit, and Jest, which make it inexpensive to write unit tests and run them on every commit. Systems…