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

Jiri Slaby, Jan Strejcek, Marek Trtk

Browse the full FMICS paper archive.