Empirical software metrics for benchmarking of verification tools.
Yulia DemyanovaThomas PaniHelmut VeithFlorian ZulegerPublished in: Formal Methods Syst. Des. (2017)
Keyphrases
- software metrics
- software systems
- software quality
- software modules
- reverse engineering
- software projects
- development effort
- machine learning
- quality assurance
- software repositories
- software engineering
- software development
- feature ranking
- magnetic resonance images
- threshold values
- design patterns
- feature selection
- information systems