Empirical software metrics for benchmarking of verification tools (Q526771): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-016-0264-5
@@ Property / DOI: 10.1007/s10703-016-0264-5 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N99
@@ Property / Mathematics Subject Classification ID: 68N99 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6715526
@@ Property / zbMATH DE Number: 6715526 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+software verification
@@ Property / zbMATH Keywords: software verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+software metrics
@@ Property / zbMATH Keywords: software metrics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+machine learning
@@ Property / zbMATH Keywords: machine learning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithm portfolio
@@ Property / zbMATH Keywords: algorithm portfolio / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59607221
@@ Property / Wikidata QID: Q59607221 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATzilla
@@ Property / describes a project that uses: SATzilla / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ppfolio
@@ Property / describes a project that uses: ppfolio / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FrankenBit
@@ Property / describes a project that uses: FrankenBit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LIBSVM
@@ Property / describes a project that uses: LIBSVM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-016-0264-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2570655340
@@ Property / OpenAlex ID: W2570655340 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings
+Normal rank
@@ Property / cites work @@
+A self-adaptive multi-engine solver for quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
+Normal rank
@@ Property / cites work @@
+Q5483032
@@ Property / cites work: Q5483032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093210
@@ Property / cites work: Q3093210 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Support-vector networks
@@ Property / cites work: Support-vector networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank
@@ Property / cites work @@
+Empirical software metrics for benchmarking of verification tools
+Normal rank
@@ Property / cites work @@
+Algorithm portfolios
@@ Property / cites work: Algorithm portfolios / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-016-0264-5
@@ Property / DOI: 10.1007/S10703-016-0264-5 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:526771