Empirical Software Metrics for Benchmarking of Verification Tools.

Yulia Demyanova Thomas Pani Helmut Veith Florian Zuleger

Published in: CAV (1) (2015)

Keyphrases

software metrics
reverse engineering
software systems
software quality
development effort
software projects
threshold values
software modules
machine learning
feature ranking
software repositories
artificial intelligence
high level
software engineering
source code