SWE 637 Quiz Guide 11
Spring 2017


Quiz 11 will continue the logic testing material. In particular, for a given Java code, you should be able to produce tests that correspond to various semantic or syntactic coverage criteria on internal predicates.