Slide 1 Behavior Modes Meir Kalech Partially Based on slides of Brian Williams, Luca Console and Peter struss Slide 2 Outline Last lecture: 1. Generation of tests/probes…