C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
JDart: A Dynamic Symbolic Analysis Framework.
Kasper Søe Luckow
Marko Dimjasevic
Dimitra Giannakopoulou
Falk Howar
Malte Isberner
Temesghen Kahsai
Zvonimir Rakamaric
Vishwanath Raman
Published in:
TACAS (2016)
Keyphrases
</>
statistical analysis
data analysis
main contribution
analysis tool
lightweight
computational model
framework enables
data sets
computer vision
information systems
expert systems
artificial neural networks
data sources
probabilistic model
quantitative analysis