SWE 637 Quiz Guide 9
Spring 2019
Be prepared to identify value pairs for clauses
that satisfy one or more of the semantic logic
coverage criteria, very much as in the in-class exercises.
Included in this task is identifying the circumstances
under which a clause determines a predicate.
Put another way, if you understand what the online tool
is doing with its various ACC buttons, you're prepared for Quiz 9.
I will not ask questions about the ICC criteria on Quiz 9.