@收款{zbMATH06793302，作者={Szab{'o}，Csaba和Kotul，Maro{v{s}}和Petru{v{s2}}，Richard}，Title={使用符号执行仔细研究软件重构}，BookTitle={第九届应用信息学国际会议论文集（ICAI 2014），匈牙利埃格尔，2014年1月29日至2月1日。第二卷}，国际标准图书编号={978-615-5297-19-9}，页码={309--316}，年份={2014}，出版商={Eger:Eszterhazy Karoly应用科学大学}，语言={英语}，DOI={10.14794/ICAI.9.2014.2.309}，关键词={68N30,68N15}，zbMATH={6793302}，Zbl={1372.68069}}