1. Coverage concept analysis
2. Frequency spectrum analysis.
Coverage concept analysis attempts to produce “dynamic control flow
invariants” for a set of executions, which can be compared with statically derived