Abstract | ||
---|---|---|
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation. |
Year | Venue | Field |
---|---|---|
2014 | CoRR | Software fault,Systems engineering,Software engineering,Software certification,Computer science |
DocType | Volume | Citations |
Journal | abs/1404.6844 | 0 |
PageRank | References | Authors |
0.34 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
John Rushby | 1 | 2459 | 235.69 |
Bev Littlewood | 2 | 741 | 105.77 |
Lorenzo Strigini | 3 | 757 | 68.26 |