TAV-WEB 2008是一系列专注于测试,分析和验证Web软件的研讨会中的第三次。 TAV-WEB 2008的范围已扩展(从以前的研讨会TAV-WEB 2004和TAV-WEB 2006的Web服务范围开始)以包括所有Web软件。这些研讨会的目的是召集对可靠Web软件开发的新兴领域感兴趣的学术界,研究界和工业界的研究人员,以介绍和讨论他们的最新研究成果。 p>
TAV-WEB 2008该计划包含七篇技术论文和一个受邀工具演示,报告了有关网络软件测试,分析和验证的最新研究成果。
机译:使用Microsoft Pex在开源C#项目上的White-Box软件测试生成:数据集
机译:通过面向服务的方法将白盒测试带入面向服务的体系结构
机译:使用访问策略的Web服务行为证明
机译:与PEX的行为Web服务合同的白盒测试
机译:对个人服务合同教育问题和机会进行定性需求评估,并将调查结果应用于基于网络的个人服务合同的持续学习模块的设计和开发:对国防卫生保健和采购人员进行教育。
机译:使用Microsoft Pex在开源C#项目上的White-Box软件测试生成:数据集
机译:使用Microsoft Pex在开源C#项目上的White-Box软件测试生成:数据集
机译:承包政府网络服务(外部化网站gouvernementaux)