Name
Title | ||
|---|---|---|
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. |
Year | Venue | Field |
|---|---|---|
2017 | Haifa Verification Conference | Model checking,Software engineering,Computer science,Theoretical computer science,Software verification |
DocType | Citations | PageRank |
Conference | 1 | 0.34 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Dirk Beyer | 1 | 1736 | 100.85 |
| Thomas Lemberger | 2 | 17 | 3.59 |