Stateful Dynamic Partial-Order Reduction.

Xiaodong Yi, Ji Wang, Xuejun Yang

Browse the full ICFEM paper archive.