Evaluating Automated Software Verification Tools.

Christian Prause Rainer Gerlich Ralf Gerlich

Published in: ICST (2018)

Keyphrases

software tools
semi automated
user friendly
fully automated
automated analysis
information retrieval
artificial intelligence
end users
software engineering
visualization tools
databases
information systems
data structure
learning scenarios
context sensitive