Login / Signup
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
Published in:
ISSTA (2018)
Keyphrases
</>
conceptual model
dynamic analysis
conceptual framework
neural network
case study
reverse engineering
data sets
metadata
query processing
main contribution
static analysis
symbolic execution
abstract interpretation
concurrent programs