@第{zbMATH05812892条，作者={Opri{\c{s}}a，Radu和Tudose，Cristina}，Title={使用符号执行测试状态设计模式实现}，FJournal={Buletinul{\textcommabelow{S}}tiin{\textcommabelow}科学。Pite大学{\textcommabelow{s}}ti.Seria Matematic{\u{a}}{\textcommabelow}i Informatic{\u}a}}，日志={Bul.{\textcommabelow{S}}tiin{\textcommabelow}。，Pite大学{\textcommabelow{s}}ti，Ser。材料信息}，ISSN={1453-116X}，体积={15}，页码={73--80}，年份＝{2009}，语言={英语}，关键词={68N30}，zbMATH={5812892}，Zbl=｛1212.68035｝}