@在集合{zbMATH06261828中，作者={Phan，Quoc-Sang}，标题={通过符号执行进行自组合}，BookTitle={2013帝国理工学院计算机专业学生研讨会ICCSW'13，英国伦敦，2013年9月26-27日。第三次研讨会论文集}，国际标准图书编号={978-3-939897-63-7}，页码={95--102}，年份={2013}，出版商=｛Wadern:Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，语言={英语}，DOI={10.4230/OASIcs.ICCSW.2013.95}，关键词={68N30,03B70}，zbMATH={6261828}，Zbl={1281.68082}}