_id,doi,title
5456,10.15479/AT:IST-2017-872-v1-1,Data-centric dynamic partial order reduction