Name
Title | ||
|---|---|---|
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.15496/publikation-4793 | MBMV |
Field | DocType | Citations |
Computer architecture,Robustness testing,Software engineering,Computer science,Software reliability testing,Formal methods,Software verification and validation,Software quality,Software construction,Software verification,Formal verification | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 8 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stefan Huster | 1 | 2 | 2.43 |
| Merdin Macic | 2 | 0 | 0.34 |
| Sebastian Burg | 3 | 2 | 2.77 |
| Hanno Eichelberger | 4 | 8 | 2.89 |
| Patrick Heckeler | 5 | 4 | 4.17 |
| Jürgen Ruf | 6 | 122 | 23.04 |
| Thomas Kropf | 7 | 326 | 59.09 |
| Wolfgang Rosenstiel | 8 | 1462 | 212.32 |