Monika Muzikovská

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Dynamic Analysis

Symbolic Execution

Abstract Interpretation

Top Venues

Publications

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. ISSTA (2018)