May 3, 2016May 3, 2016Julia Solomon-StraussPublicationsArun Kanuparthi, Jeyavijayan Rajendran, Ramesh Karri In this paper, the authors propose Dynamic Sequence Checker (DSC), a framework to verify the validity of control flow between basic blocks in the program