@收款{zbMATH05148682，作者={加斯东、克利斯朵夫和勒加尔、帕斯卡尔和拉宾、尼古拉斯和图伊尔、阿西娅}，标题={测试目的定义的符号执行技术}，BookTitle={通信系统测试。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，美国纽约州纽约市，2006年5月16日至18日。诉讼}，国际标准图书编号={3-540-34184-6}，页码={1--18}，年份={2006}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/11754008_1}，关键词={68Q60,68M15,68Q45}，zbMATH={5148682}，Zbl={1185.68413}}