Measure logic state coverage by recording a logic state (i.e., a set of satisfied branches) for each execution. [paper]
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Measure logic state coverage by recording a logic state (i.e., a set of satisfied branches) for each execution. [paper]