Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs.

Jan Fiedor, Monika Muzikovsk, Ales Smrcka, Ondrej Vascek, Toms Vojnar

Browse the full ISSTA paper archive.