A Pragmatic Approach to Stateful Partial Order Reduction.

Berk irisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil

Browse the full VMCAI paper archive.