100% statement coverage ensures that all code paths or branches (in terms of control flow) are executed at least once.
Specification-based testing aims to test the functionality of software according to the applicable requirements [REF].