Optimal Concolic Dynamic Partial Order Reduction.

Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra

Browse the full CONCUR paper archive.