Program Analysis and Testing

Good Introductions

• Symbolic Execution: https://dl.acm.org/doi/pdf/10.1145/2408776.2408795