摘要
等级库资源管理器。 网址： http://research.microsoft.com/specexplorer 2005年1月发布。 谷歌学者 
R.Alur、T.A.Henzinger、O.Kupferman和M.Vardi。 交替细化关系。 《第九届并行理论国际会议论文集》（CONCUR’98），LNCS第1466卷，第163-178页，1998年。 谷歌学者 数字图书馆 
M.Barnett、W.Grieskamp、L.Nachmanson、W.Schulte、N.Tillmann和M.Veanes。 使用AsmL实现基于模型的测试的工具环境。 在Petrenko和Ulrich，编辑，软件测试的正式方法，FATES 2003，LNCS第2931卷，第264-280页。 施普林格，2003年。 谷歌学者 M.Barnett、R.Leino和W.Schulte。 Spec#编程系统：概述。 M.Huisman，编辑，《安全、安全和互操作智能设备的构建与分析：国际研讨会》，CASSIS 2004，LNCS第3362卷，第49-69页。 斯普林格，2005年。 谷歌学者 数字图书馆 A.Blass、Y.Gurevich、L.Nachmanson和M.Veanes。 播放以测试。 技术报告MSR-TR-2005-04，Microsoft Research，2005年1月。 谷歌学者 E.Brinksma和J.Tretman。 测试过渡系统：注释书目。 在暑期学校MOVEP’2k——并行过程的建模和验证中，LNCS第2067卷，第187-193页。 斯普林格，2001年。 谷歌学者 数字图书馆 C.Campbell、W.Grieskamp、L.Nachmanson、W.Schulte、N.Tillmann和M.Veanes。 使用Spec Explorer对面向对象的反应式系统进行基于模型的测试。 技术代表MSR-TR-2005-59，Microsoft Research，2005年。 谷歌学者 C.Campbell和M.Veanes。 使用多个州分组进行州探索。 D.Beauquier、E.Börger和A.Slissenko，编辑，第12届抽象状态机国际研讨会，ASM'05，2005年3月8日至11日，算法、复杂性和逻辑实验室，法国克雷泰尔，第119页至130页，2005年。 谷歌学者 C.Campbell、M.Veanes、J.Huo和A.Petrenko。 部分有序事件的多路复用。 编辑F.Khendek和R.Dssouli，第17届IFIP通信系统测试国际会议，TestCom 2005，LNCS第3502卷，第97-110页。 斯普林格，2005年。 谷歌学者 数字图书馆 拉德·阿尔法罗。 开放系统的游戏模型。 在N.Dershowitz编辑的《验证：理论与实践：在佐哈尔·曼纳64岁生日之际献给他的论文》中，LNCS第2772卷，第269-289页。 斯普林格，2004年。 谷歌学者 L.de Alfaro和T.A.Henzinger。 接口自动机。 第八届欧洲软件工程会议和第九届ACM SIGSOFT软件工程基础研讨会（ESEC/FSE）会议记录，第109-120页。 ACM，2001年。 谷歌学者 数字图书馆 L.Franzen、J.Tretmans和T.Willemse。 基于符号规范的测试生成。 J.Grabowski和B.Nielsen，编辑，《软件测试正式方法研讨会论文集》（FATES 2004），第3-17页，奥地利林茨，2004年9月。 出现在LNCS中。 谷歌学者 数字图书馆 W.Grieskamp、Y.Gurevich、W.Schulte和M.Veanes。 从抽象状态机生成有限状态机。 在ISSTA'02，软件工程注释第27卷，第112-122页。 ACM，2002年。 谷歌学者 数字图书馆 W.Grieskamp、N.Tillmann和M.Veanes。 在模型驱动的开发环境中检测场景。 信息和软件技术，2004年。 按，在线提供。 谷歌学者 交叉引用 
Y.Gurevich。 进化代数1993：Lipari指南。 在E.Börger编辑的《规范和验证方法》中，第9-36页。 牛津大学出版社，1995年。 谷歌学者 数字图书馆 Y.Gurevich、B.Rossman和W.Schulte。 AsmL的语义本质。 理论计算机科学，2005年。 初步版本为Microsoft Research Technical Report MSR-TR-2004-27。 谷歌学者 数字图书馆 A.Hartman和K.Nagin。 模型驱动测试-AGEDIS架构接口和工具。 在2003年12月于德国纽伦堡举行的第一届模型驱动软件工程欧洲会议上，第1-11页。 谷歌学者 L.Nachmanson、M.Veanes、W.Schulte、N.Tillmann和W.Grieskamp。 测试非确定性系统的最佳策略。 在ISSTA'04《软件工程注释》第29卷第55-64页。 ACM，2004年7月。 谷歌学者 数字图书馆 S.Tasiran和S.Qadeer。 并发数据结构的运行时优化检查。 理论计算机科学电子笔记，113:163-1792005年1月。 第四次运行时验证研讨会会议记录（RV 2004）。 谷歌学者 数字图书馆 J.Tretmans和A.Belinfante。 使用正式方法进行自动测试。 1999年11月8日至12日在西班牙巴塞罗那举行的EuroSTAR’99：第七届欧洲软件测试、分析与审查国际会议。 谷歌学者 J.Tretman和E.Brinksma。 TorX：基于模型的自动化测试。 在2003年12月于德国纽伦堡举行的第一届模型驱动软件工程欧洲会议上，第31-43页。 谷歌学者 M.van der Bij、A.Rensink和J.Tretmans。 使用ioco进行成分测试。 编者A.Petrenko和A.Ulrich，《软件测试的正式方法：第三次国际研讨会》，FATES 2003，LNCS第2931卷，第86-100页。 斯普林格，2004年。 谷歌学者
