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.