Context-Sensitive Dynamic Partial Order Reduction
Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gomez-Zamalloa, Peter J Stuckey, R Majumdar, V Kuncak
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER INTERNATIONAL PUBLISHING AG | Published : 2017
Awarded by Spanish MINECO
Awarded by CM project
This work was funded partially by the Spanish MINECO projects TIN2012-38137 and TIN2015-69175-C4-2-R and by the CM project S2013/ICE-3006.