摘要
等级库资源管理器。 网址: 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年。 谷歌学者