Automatic constraint generation for guided random simulation.
https://doi.org/10.1109/ASPDAC.2010.5419814
@inproceedings{DBLP:conf/aspdac/YehH10,
author = {Hu{-}Hsi Yeh and
Chung{-}Yang Huang},
title = {Automatic constraint generation for guided random simulation},
booktitle = {Proceedings of the 15th Asia South Pacific Design Automation Conference,
{ASP-DAC} 2010, Taipei, Taiwan, January 18-21, 2010},
pages = {613--618},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ASPDAC.2010.5419814},
doi = {10.1109/ASPDAC.2010.5419814},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/YehH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签