Extending Model Checking with Dynamic Analysis.

Alex Groce, Rajeev Joshi

Browse the full VMCAI paper archive.