Abstract: An important activity of requirements-based testing (RBT) is to generate logical test cases to verify whether the requirements have been implemented correctly. A recent RBT method uses ...