巴赫曼·普瓦坦；马尔詹·西尔贾尼；侯赛因·霍贾特；法哈德·阿尔巴 使用符号执行对Reo电路进行自动分析。 （英语） Zbl 1364.68142号 Salaün，Gwen（编辑）等人，第八届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2009），希腊罗德斯，2009年7月11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记255，137-158（2009）。MSC公司：68号30 65年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Pourvatan}等人，《电子》。注释Theor。计算。科学。255、137--158（2009年；Zbl 1364.68142） 全文： 链接
拉杜·奥普里什；克里斯蒂娜，Tudose 使用符号执行测试状态设计模式实现。 （英语） Zbl 1212.68035号 灯泡。⑩提因。，塞尔维亚皮特什蒂大学。材料填充。 15, 73-80 (2009).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Opriša}和\textit{C.Tudose}，布尔。Ș提因ț。，佩蒂大学（Univ.Pitești，Ser.）。材料信息15，73--80（2009；Zbl 1212.68035）
尼古拉斯·拉宾 具有无界变量的开放系统的基于符号执行的模型检查。 （英语） Zbl 1246.68157号 凯瑟琳·杜波伊斯（编辑），《测试与证明》。第三届国际会议，TAP 2009，瑞士苏黎世，2009年7月2日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02948-6/pbk）。计算机科学讲座笔记5668137-152（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.拉宾}，莱克特。票据计算。科学。5668、137--152（2009年；Zbl 1246.68157） 全文： 内政部