Discovering faults in idiom-based exception handling
Proceedings of the 28th international conference on Software engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Dependability metrics
Hi-index | 0.00 |
My talk will present a personal and rather selective view of the state of the art of some aspects of dependability assessment for software-based systems. This short note gives a brief outline of the issues I shall address.