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]
@inproceedings{JhaLMR11,
title = {When to stop verification?: Statistical trade-off between expected loss and simulation cost},
author = {Sumit Kumar Jha and Christopher James Langmead and Swarup Mohalik and S. Ramesh},
year = {2011},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5763210},
researchr = {https://researchr.org/publication/JhaLMR11},
cites = {0},
citedby = {0},
pages = {1309-1314},
booktitle = {Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011},
publisher = {IEEE},
isbn = {978-1-61284-208-0},
}