Generating Complex Input (and its other applications) Course Software Testing & Verification 2013/14 Wishnu Prasetya.
Functions
Foundations of Reachability Analysis
Foundations of Reachability Analysis EECS 290A Sequential Logic Synthesis and Verification Lecture 1.