A small sample from the "Practical Symbolic Execution" course, showing some of the slides describing test case generation, and an associated small lab - View it on GitHub