×
詹斯·格拉博夫斯基（编辑）;布莱恩·尼尔森（编辑）

软件测试的正式方法。2004年9月21日，第四届国际研讨会，《命运2004》，奥地利林茨。修订了选定的论文。 （英语） Zbl 1069.68008号

计算机科学课堂讲稿3395.柏林：施普林格出版社（ISBN 3-540-25109-X/pbk）。x、 225页。(2005).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。之前的研讨会已经过审查（请参阅Zbl 1031.68051号).
索引文章：
Lars Frantzen；特雷特曼，Jan；Tim A.C.Willemse。，基于符号规范的测试生成，1-15[Zbl 1081.68570号]
阿希姆·D·布鲁克。；沃尔夫，伯克哈特，基本递归函数的符号测试用例生成，16-32[Zbl 1081.68672号]
de Frutos Escrig，大卫；罗德里格斯，卡洛斯·格雷戈里奥，为软一致性关系保留上下文，33-48[Zbl 1081.68658号]
纳塔利亚·洛佩斯；努涅斯，曼努埃尔；伊斯梅尔·罗德里格斯，符号概率系统测试，49-63[Zbl 1081.68575号]
劳拉·布兰丹（Laura Brandán Briones）；埃德·布林克斯马，静态实时系统的测试生成框架，64-78[兹比尔1081.68569]
Larsen，Kim G。；马吕斯·米库西奥尼斯；布莱恩·尼尔森，使用Uppaal在线测试实时系统，79-94[Zbl 1081.68574号]
贝扎德·博尔德巴尔；大佐冈野，《测试实时系统中的无死锁：一种形式化方法》，95-109[Zbl 1081.68567号]
Hong，Hyong Seok；哈桑·乌拉尔，使用模型检查来降低测试生成成本，110-124[Zbl 1081.68571号]
约翰·布洛姆（Johan Blom）；赫塞尔、安德斯；Jonsson，Bengt；保罗·佩特森，使用观察者自动机指定和生成测试用例，125-139[Zbl 1081.68566号]
艺术，托马斯；科恩·克莱森；汉斯·斯文森，Erlang中容错领导人选举协议的半形式开发，140-154[Zbl 1081.68565号]
谢高燕；当、哲，具有未指定组件的模型检查系统的自动机理论方法，155-169[Zbl 1081.68638号]
阿兰·沃夫多·费迪奥（Vouffo-Feudjio，Alain）；伊娜·希弗德克，使用TTCN-3测试图案，170-179[Zbl 1081.68578号]
五亨昌，Antal；乐越，Dung；Gabor巴托里；罗兰德·盖塞（Roland Gecse）；Gyula，Csopaki，TTCN-3测试数据的高级重组，180-194[Zbl 1081.68579号]
卡普尔，卡尔佩什；乔纳森·鲍文（Jonathan P.Bowen）。，订购突变体以减少突变测试中的测试工作量，195-209年[Zbl 1081.68573号]
Yoon，Hoijin；金恩赫；Seo、Joo Young；Choi、Byoungju，使用软件故障注入和突变分析测试COM组件及其实证研究，210-224[Zbl 1081.68580号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68号30 软件工程的数学方面（规范、验证、度量、需求等）
00B25型 杂项特定利益的会议记录

引文：

Zbl 1031.68051号

软件：

Uppaal公司
PDF格式BibTeX公司 XML格式引用
\textit｛J.Grabowski｝（编辑）和\textit｛B.Nielsen｝（编辑），软件测试的正式方法。2004年9月21日，第四届国际研讨会，《命运2004》，奥地利林茨。修订了选定的论文。柏林：施普林格出版社（2005；Zbl 1069.68008）
全文： 内政部