When to Stop Verification? Statistical Trade-off between Expected Loss and Simulation Cost
Conference
Jha, Sumit Kumar, Langmead, Christopher James, Mohalik, Swamp et al. (2011). When to Stop Verification? Statistical Trade-off between Expected Loss and Simulation Cost
. Proceedings -Design, Automation and Test in Europe, DATE, 1309-1314.
Jha, Sumit Kumar, Langmead, Christopher James, Mohalik, Swamp et al. (2011). When to Stop Verification? Statistical Trade-off between Expected Loss and Simulation Cost
. Proceedings -Design, Automation and Test in Europe, DATE, 1309-1314.