Value-centric Dynamic Partial Order Reduction

Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
October 2019
PDF DOI
Type
Conference paper
Publication
OOPSLA – Object-Oriented Programming, Systems, Languages and Applications