摘要
摘要
ABC02型 P具有复制重写和流X机器的系统(Eilenberg机器) Fundam通知 2002 49 1–3 17 33 2016427 997.68051 谷歌学者 数字图书馆 BCG99系列 通信流X机器不比X机器多 大学计算科学杂志 1999 5 494 507 1722383 960.68005 谷歌学者 BGH00型 Bélénescu T,Gheorghe M,Holcombe M(2000)基于语法系统的确定流X机器。 收录:Martin-Vide C、Mitrana V(编辑)词汇、序列、语法、语言:生物学、计算机科学、语言学和数学的交汇点,第1卷。 多德雷赫特·克鲁沃,第13-23页 谷歌学者 BGH01型 Bélénescu T,Gheorghe M,Holcombe M,Ipate F(2001)《测试定义为流X机器的协作代理》。 摘自:《人工生命的进展》,第六届欧洲ECAL会议记录,9月10日至14日,捷克共和国布拉格。 柏林施普林格,第296–305页 谷歌学者 BGH03a公司 Bélénescu T,Gheorghe M,Holcombe M,Ipate F(2003)Eilenberg P系统。 收录:Paun Gh、Rozenberg G、Salomaa A、Zandron C(编辑)膜计算。 国际研讨会,2002年WMC CdeA,罗马尼亚Curtea de Arges,2002年8月。 LNCS,第2597卷。 柏林施普林格,第43-57页 谷歌学者 体重96 通信X机器 Inf Softw Technol公司 1996 38 401 407 10.1016/0950-5849(95)01066-1 谷歌学者 交叉引用 BGH03b公司 P X系统=P系统+X机器 自然计算 2003 2 三 201 213 2024477 10.1023/A:1025463922702 1048.68041 谷歌学者 数字图书馆 BHI06型 Bogdanov K、Holcombe M、Ipate F、Seed L、Vanak S(2006)《X机器的测试方法》,综述。 表Asp计算18(1):3–30 谷歌学者 乔78 用有限状态机建模的测试软件设计 IEEE Trans软件工程 1978 4 三 178 187 10.1109/TSE.1978.231496 379.68039 谷歌学者 数字图书馆 第76级 生成测试数据并以符号方式执行程序的系统 IEEE Trans软件工程 1976 2 三 215 222 428759 10.1109/TSE.1976.233817 谷歌学者 数字图书馆 CGV00型 在X机器系统中使用信道进行通信的结构化方法 表单Asp计算 2000 12 6 458 500 2017年10月10日至2017年11月15日 1013.68108 谷歌学者 数字图书馆 DBI12数据库 Dranidis D,Bratanis K,Ipate F(2012)JSXM:自动化测试生成工具。 第十届软件工程和正式方法国际会议。 柏林施普林格,第352-366页 谷歌学者 07丹麦克朗 通过测试对web服务行为一致性进行正式验证 Ann数学计算电话通知 2007 1 5 36 43 谷歌学者 DMK10系列 Dranidis D,Metzger A,Kourtesis D(2010)通过即时测试对话服务实现主动适应。 摘自:《迈向基于服务的互联网》,SERVICEWAVE,施普林格-柏林-海德堡出版社,第63-75页 谷歌学者 DRK09号图纸 Dranidis D、Ramollari E、Kourtesis D(2009),对话式web服务行为一致性的运行时验证。 In:第七届IEEE欧洲网络服务会议 谷歌学者 FHI95型 使用X机器为盒式录像机建模 货币发行电子模型 1995 三 141 161 10.1007/978-1-4615-2303-1_7 谷歌学者 锗V00 一种新的X机器通信方法 大学计算科学杂志 2000 6 5 490 502 960.68006 谷歌学者 Ghe01公司 广义流X机与协同分布式文法系统 表单Asp计算 2001 12 6 459 472 2007年10月17日/001650070005 1013.68106 谷歌学者 数字图书馆 高H00 测试准非确定性流X机器的一致性 表单Asp计算 2000 12 6 423 442 2007年10月17日/001650070003 1013.68104 谷歌学者 数字图书馆 高H04 测试确定性实现与非确定性流X机器的一致性 Theor计算机科学 2004 323 1–3 191 233 2085322 2016年10月10日/j.tcs.2004.04.002 1078.68084 谷歌学者 数字图书馆 高度10 流X机器的检查实验 Theor计算机科学 2010 411 3372 3385 2676056 2016年10月10日/j.tcs.2010.05.014 1214.68215 谷歌学者 数字图书馆 六氯环己烷 Holcombe M,Coakley S,Smallwood R(2006)复杂系统基于代理建模的一般框架。 参加:欧洲复杂系统会议,法国巴黎 谷歌学者 HoI98型 Holcombe M,Ipate F(1998)《正确的系统:构建业务流程解决方案》。 柏林施普林格(1998) 谷歌学者 HIG95型 Holcombe M、Ipate F、Grondoudis A(1995)安全关键系统的完整功能测试。 摘自:11月1日至3日在美国佛罗里达州代顿海滩举行的第二届IFAC新兴控制技术安全性和可靠性研讨会会议记录。 牛津爱思唯尔出版社,199-204页 谷歌学者 Ipa03型 流X机器的极小性 计算机J 2003 46 三 295 306 2013793 10.1093/comjnl/46.3.295 1027.68083 谷歌学者 交叉引用 Ipa04公司 完成确定性流X机测试 表单Asp计算 2004 16 4 374 386 2007年10月10日/00165-004-0045-6 1061.68096 谷歌学者 数字图书馆 IpH96型 可计算性再看 Informatica公司 1996 20 359 372 1424865 867.68083 谷歌学者 IpH97型 一种被证明能够发现所有故障的集成测试方法 国际J计算数学 1997 63 159 178 1455229 10.1080/00207169708804559 878.68086 谷歌学者 交叉引用 IpH98a型 一种改进和测试通用机器规格的方法 国际J计算数学 1998 68 197 219 1681402 10.1080/00207169808804689 908.68106 谷歌学者 交叉引用 IpH98b型 使用通用机器的规范和测试:演示和案例研究 软件测试验证可靠性 1998 8 61 81 10.1002/(SICI)1099-1689(199806)8:2<61::AID-STVR154>3.0.CO; 2伏 谷歌学者 交叉引用 IpH00指数 从非确定性广义流X机器生成测试序列 表单Asp计算 2000 12 6 443 458 2007年10月17日/001650070004 1013.68105 谷歌学者 数字图书馆 IpH02a型 流X机的一种集成细化和测试方法 应用代数工程通用计算 2002 13 2 67 91 1912889 2007年10月7日/002000100090 1002.68028 谷歌学者 IpH02b型 通信流X机器系统的测试条件 表单Asp计算 2002 13 6 431 446 1912889 2007年10月17日/001650200021 1017.68008 谷歌学者 数字图书馆 Ipa06公司 使用状态计数对非可控流X机器进行测试 Theor计算机科学 2006 353 1–3 291 316 2209905 2016年10月10日/j.tcs.2005.12.002 1088.68020 谷歌学者 数字图书馆 IpH08型 从流X机器模型测试面向数据处理的系统 Theor计算机科学 2008 403 2–3 176 191 2441649 2016年10月10日/j.tcs.2008.02.045 1154.68080 谷歌学者 数字图书馆 肯尼亚克朗 Kefalas P,Kapeti E(2000)X光机规范的设计语言和工具。 收录:Fotadis DI,Nikolopoulos SD(编辑)《信息学进展》。 《世界科学》,雅典,第134-145页 谷歌学者 凯克00 Kehris E、Eleftherakis G、Kefalas P(2000)使用X机器对离散事件模拟程序进行建模和测试。 收录:Mastorakis N(ed)系统与控制:理论与应用。 世界科学与工程学会出版社,雅典,第163–171页 谷歌学者 亲属76 符号执行和程序测试 通用ACM 1976 19 7 385 394 418502 10.1145/360248.360252 329.68018 谷歌学者 数字图书馆 OsB89型 用于指定和生成功能测试的类别划分方法 通用ACM 1989 31 6 667 686 谷歌学者 PYB96型 Petrenko A、Yevtushenko N、Bochmann GV(1996)《测试非确定性FSM规范的确定性实现》。 摘自:第九届通信系统测试国际研讨会论文集(IWTCS’96),第125–140页 谷歌学者 第94行 软件测试 1994 纽约 麦格劳-希尔 谷歌学者 SDN15型 Sakellariou I、Dranidis D、Ntika M、Kefalas P(2015)《从正式建模到代理模拟执行和测试》。 参加:第七届代理和人工智能国际会议。 葡萄牙里斯本,第87–98页 谷歌学者