Theory on the distributions and predictive capability of verification faults

Date:

Keynote talk at SQAMIA 2013.