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. Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. In Frank Tip, Eric Bodden, editors, Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. pages 356-359, ACM, 2018. [doi]

Authors

Jan Fiedor

This author has not been identified. Look up 'Jan Fiedor' in Google

Monika Muzikovská

This author has not been identified. Look up 'Monika Muzikovská' in Google

Ales Smrcka

This author has not been identified. Look up 'Ales Smrcka' in Google

Ondrej Vasícek

This author has not been identified. Look up 'Ondrej Vasícek' in Google

Tomás Vojnar

This author has not been identified. Look up 'Tomás Vojnar' in Google