ABSTRACT
Third, generating test cases from software specifications
that are commonly documented using everyday language
can serve as an additional check on ambiguity or incon-
sistency, should they be present in the specifications.
Third, generating test cases from software specifications
that are commonly documented using everyday language
can serve as an additional check on ambiguity or incon-
sistency, should they be present in the specifications.