Evaluating Tools for Software Verification (Track Introduction).

Markus Schordan Dirk Beyer Stephen F. Siegel

Published in: ISoLA (2) (2018)

Keyphrases

user friendly
software tools
artificial intelligence
neural network
information technology
data sets
genetic algorithm
similarity measure
data structure
end users
knowledge discovery
programming language
decision support