Abstract: This talk will introduce and discuss structural heuristics for directed model checking of Java programs. Structural heuristics focus on exploring the state space in a systematic way (based on branching structure, thread interdependency, etc.) rather than focusing on a distance metric to a particular kind of error such as deadlock or assertion violation.