@收款{zbMATH05207436，作者={Le Gall，Pascale and Rapin，Nicolas and Touil，Assia}，标题={精化测试的符号执行技术}，BookTitle={测试和证明。第一届国际会议，2007年2月12日至13日，瑞士苏黎世，TAP 2007。修订论文}，ISBN＝{978-3-540-73769-8}，页码={131--148}，年份={2007}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-73770-4_8}，关键词={68N30,68Q60,68Q85}，zbMATH={5207436}，Zbl={1196.68049}}