@第{zbMATH06697748条，作者={Sharma，Rahul和Aiken，Alex}，标题={使用随机搜索从不变检查到不变推断}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={48}，数字={3}，页码={235--256}，年份={2016年}，语言={英语}，DOI={10.1007/s10703-016-0248-5}，关键词={68Q60,68P05,68T20}，zbMATH={6697748}，Zbl={1358.68197}}