工具书类

• 1. 1)
     • Floyd，R.W.：“赋予程序意义”，《应用数学专题讨论会论文集》，1967年，第19-32页。
  2. 2)
     • M.A.Hennell，M.R.Woodward，D.赫德利.关于程序分析。信息处理信件，5
  3. 3)
     • J.Bicevskis，J.Borzovs，U.Straujums，A.扎林斯，E.F.米勒.SMOTL—一种构造数据处理程序调试样本的系统。IEEE软件工程学报，1
  4. 4)
     • T.E.Cheatham，G.H.Holloway，J.A.汤利.程序的符号执行和分析。IEEE软件工程汇刊，4
  5. 5)
     • S.L.Hantler，J.C.金.证明程序正确性的介绍。计算调查，三
  6. 6)
     • Boyer，R.S，Elpas，B.，Levit，K.N.：“SELECT-通过符号执行测试和调试程序的正式系统”，《可靠软件国际会议论文集》，1975年4月，第234-244页。
  7. 7)
     • Hedley，D.，Hennell，M.A.：“计算机程序中不可行路径的原因和影响”，第八届国际软件工程会议论文集，1985年，英国伦敦。
  8. 8)
     • J.C.金.使用符号执行的程序缩减。SIGSOFT软件工程说明，1
  9. 9)
     • Clarke，L.A.：“程序测试系统”，《美国计算机学会年会论文集》，1976年10月，美国德克萨斯州休斯顿。
  10. 10)
      • Richardson，D.J.，Clarke，L.A.：“提高程序可靠性的分区分析方法”，《第五届国际软件工程会议论文集》，1981年，美国加利福尼亚州圣地亚哥，第244-253页。
  11. 11)
      • 洛杉矶克拉克.生成测试数据并以符号方式执行程序的系统。IEEE软件工程汇刊，三
  12. 12)
      • J.C.金.符号执行和程序测试。ACM通信，7
  13. 13)
      • Hedley，D.：“自动测试数据生成和相关主题”，1981年8月，英国利物浦大学博士论文。
  14. 14)
      • Hennell，M.A.，Hedley，D.，Riddell，I.J.：“LDRA软件测试床：它们的角色和功能”，IEEE软件博览会83会议记录，1983年7月，美国弗吉尼亚州阿灵顿。
  15. 15)
      • Ploedereder，E.：“程序分析和验证的实用技术”，《第四届国际软件工程会议论文集》，1979年9月，西德慕尼黑，第63-72页。
  16. 16)
      • V.Voges、，L Gmehner，A.阿姆施勒.SADAT——一种自动化测试工具。IEEE软件工程汇刊，三
  17. 17)
      • D.L.克拉特巴克，卡雷学士.低级代码的验证。软件工程杂志，三
  18. 18)
      • Asirelli，P.、Degano，P.，Levi，G.、Martelli，A.、Mon-Tanari，U.、Pacini，G.，Sirovich，F.、Turini，F.：“基于符号解释程序开发的灵活环境”，《第四届国际软件工程会议论文集》，1979年9月，西德慕尼黑，第251-263页。
  19. 19)
      • R.A.Kemmerer，圣埃克曼.UNISEX：基于Unix的Pascal符号执行器。软件-实践与经验，5
  20. 20)
      • C.V.Ramamoorthy，S.F.Ho，W.J.Chen先生.关于程序测试数据的自动生成。IEEE软件工程汇刊，4
  21. 21)
      • Balzer，R.M.：“EXDAMS可扩展调试和监控系统”，1969年5月美国马萨诸塞州波士顿AFIPS春季联合计算机会议记录，第567-580页。
  22. 22)
      • 铁锹。Program Validation Ltd.，英国南安普敦巴赛特新月东34号。
  23. 23)
      • King，J.C.：“程序测试的新方法”，《可靠软件国际会议论文集》，1975年4月，第228-233页。
  24. 24)
      • W.豪登.DISSECT—符号执行和程序测试系统。IEEE软件工程的重大变革，1
  25. 25)
      • R.N.泰勒.(1983) 一个集成的验证和测试环境，软件-实践和经验。
  26. 26)
      • MALPAS是一种软件验证和验证工具。RTP/4002，雷克斯、汤普森和合伙人有限公司，英国萨里郡法姆，1987年4月。
  27. 27)
      • W.豪登.符号测试和DISSECT符号执行系统。IEEE软件工程汇刊，4