Dynamic Partial Order Reduction Algorithm Research Articles