Logic State Coverage

Measure logic state coverage by recording a logic state (i.e., a set of satisfied branches) for each execution. [paper]