@第{zbMATH07159854条，作者={Angluin，Dana和Dohrn，Tyler}，标题={随机反例的力量}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={808}，页码={2--13}，年份={2020年}，语言={英语}，DOI={10.1016/j.tcs.2019.11.009}，关键词={68Q32}，zbMATH={7159854}，Zbl={1436.68151}}