Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh
When to stop verification?: Statistical trade-off between expected loss and simulation cost
DATE, 2011.
@inproceedings{DATE-2011-JhaLMR,
author = "Sumit Kumar Jha and Christopher James Langmead and Swarup Mohalik and S. Ramesh",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "1309--1314",
publisher = "{IEEE}",
title = "{When to stop verification?: Statistical trade-off between expected loss and simulation cost}",
year = 2011,
}