Login / Signup
Empirical software metrics for benchmarking of verification tools.
Yulia Demyanova
Thomas Pani
Helmut Veith
Florian Zuleger
Published in:
Software Engineering (2016)
Keyphrases
</>
software metrics
reverse engineering
software projects
software quality
source code
software systems
development effort
software modules
software engineering
open source
model checking
quality assurance
software architecture
software components
feature selection
support vector
high level