Đang tải...
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...
Đã lưu trong:
| Xuất bản năm: | Form Methods Syst Des |
|---|---|
| Những tác giả chính: | , , , |
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Springer US
2017
|
| Những chủ đề: | |
| Truy cập trực tuyến: | 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 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|