When to stop verification?: Statistical trade-off between expected loss and simulation cost

Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh. When to stop verification?: Statistical trade-off between expected loss and simulation cost. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 1309-1314, IEEE, 2011. [doi]

Abstract

Abstract is missing.