DMCA

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution (2012)

Cached

Download Links

by Marek Trtik, et al.