停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

21.测试通信9。命运2009：荷兰埃因霍温

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/2009年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/2009
曼努埃尔·努涅斯,保罗·贝克,梅赛德斯·G·梅拉约:
软件和通信系统测试，第21届IFIP WG 6.1国际会议，TESTCOM 2009和第9届国际研讨会，FATES 2009，荷兰埃因霍温，2009年11月2-4日。诉讼程序。计算机科学课堂讲稿5826,施普林格 2009，国际标准图书编号978-3-642-05030-5

常规论文

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/AdjirSR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/AdjirSR09
努里丁·阿吉尔,皮埃尔·德·萨奎·桑奈斯,卡迈尔·穆斯塔法·拉赫穆尼:
使用TINA测试实时系统。 1-15
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/BentakoukPZ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/BentakoukPZ09
利娜·本塔库克,帕斯卡·波扎特,法蒂哈·扎伊迪:
基于符号转换系统的服务编排测试的正式框架。 16-32
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/BochmannJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/BochmannJ09
格雷戈·冯·博克曼,盖·温森特·朱尔丹:
测试k个-安全Petri网。 33-48
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/BroodayPU09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/BroodayPU09
塞尔吉·博罗迪,亚历山大·佩特连科,安德烈亚斯·乌尔里奇:
利用静态观测实现MSC测试。 49-65
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/El-FakihYF09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/El-FakihYF09
Khaled El-Fakih公司,尼娜·叶夫图申科,哈塞内·福查尔:
测试具有保证故障覆盖率的定时有限状态机。 66-80
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/国DW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/GouDW09
郭强,约翰·德里克,尼尔·沃尔金肖:
应用可测试性转换实现Erlang程序的结构覆盖。 81-96
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/GrieskampQWKC09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/GrieskampQWKC09
沃尔夫冈·格里斯坎普,小曲,魏向军,尼古拉斯·基西洛夫,迈拉·B·科恩:
交互覆盖通过SMT约束求解满足路径覆盖。 97-112
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/MarchandDJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/MarchandDJ09
埃尔维·马尔坎德,杰雷米·杜布雷尔,蒂埃里·杰伦:
安全属性访问控制的自动测试。 113-128
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/SimaoPY09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/SimaoPY09
阿登尼索·达席尔瓦·西芒,亚历山大·佩特伦科,尼娜·叶夫图申科:
为具有额外状态的FSM生成简化测试。 129-145
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/SubramaniamXGP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/SubramaniamXGP09
Mahadevan Subramaniam公司,凌霄,郭波（Bo Guo）,佐尔坦·帕普:
一种使用定理证明器的EFSM测试选择方法。 146-162
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/WangYXZGWLGZL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/WangYXZGWLGZL09
王志良,夏寅,杨翔,朱瑞平,高世瑞（Shirui Gao）,辛武（Xin Wu）,刘世健,宋高,李周,彭丽:
基于TTCN-3的3G网络移动广播业务管理系统一致性测试。 163-178
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/WieczorekKRLBPS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/WieczorekKRLBPS09
塞巴斯蒂安·维克佐雷克,维塔利·科兹乌拉,安德烈亚斯·罗斯,迈克尔·勒谢尔,延斯·本德斯普托,丹尼尔·普拉格,伊娜·希弗德克:
应用模型检查从编排模型生成基于模型的集成测试。 179-194
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/ZeissG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/ZeissG09
本杰明·蔡斯,延斯·格拉博夫斯基:
分析测试套件中的响应不一致。 195-210

短文

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/ErnitsRJV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/EnitsRJV09
Juhan P.Ernits公司,Rivo Roo公司,乔纳森·杰基,玛格斯·维恩斯:
使用NModel对Web应用程序进行基于模型的测试。 211-216
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/EscobedoGGC09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/EscobedoGGC09
何塞·巴勃罗·埃斯科贝多,克里斯托夫·加斯顿,帕斯卡尔·勒加尔,安娜·R·卡瓦利:
Web服务组合一致性测试中的可观察性和可控性问题。 217-222
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/Gecse09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/Gecse09
罗兰·盖塞:
相干TTCN-3模板框架的自动生成。 223-228
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/NunesHM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/NunesHM09
保罗·R·F·努斯,西蒙·韩祖美（Simone Hanazumi）,安娜·克里斯蒂娜·维埃拉·德梅洛:
OConGraX-自动生成容错系统的数据流测试用例。 229-234
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/SteinertPBLH09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/SteinertPBLH09
巴斯蒂安·斯坦内特,迈克尔·佩尔切伊德,马丁·贝克,延斯·林克,罗伯特·赫施菲尔德:
调试示例。 235-240
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/Szabados09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/Szabados09
克里斯托夫·萨巴多斯:
大型TTCN-3项目的结构分析。 241-246

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。