Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. - Jan Fiedor; Monika Muzikovská; Ales Smrcka; Ondrej Vasícek; Tomás Vojnar (ISSTA, 2018)