A carregar...
Empirical software metrics for benchmarking of verification tools
We study empirical metrics for software source code, which can predict the performance of verification tools on specific types of software. Our metrics comprise variable usage patterns, loop patterns, as well as indicators of control-flow complexity and are extracted by simple data-flow analyses. We...
Na minha lista:
| Publicado no: | Form Methods Syst Des |
|---|---|
| Main Authors: | , , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Springer US
2017
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7010381/ https://ncbi.nlm.nih.gov/pubmed/32103858 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10703-016-0264-5 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|