Symbolic Liveness Analysis of Real-World Software.

Daniel Schemmel Julian Büning Oscar Soria Dustmann Thomas Noll Klaus Wehrle

Published in: CAV (2) (2018)

Keyphrases

real world
data sets
case study
decision trees
databases
social networks
computer vision
software development
software design
data mining
knowledge base
website
data analysis
information technology
image analysis
software tools