...
机译:通过从业务规则模型派生属性来对Web服务进行基于属性的测试
Graz Univ Technol, Inst Software Technol, Graz, Austria;
Graz Univ Technol, Inst Software Technol, Graz, Austria;
Model-based testing; Test case generation; Property-based testing; QuickCheck; FsCheck; Web services; Business-rule models;
机译:事件驱动的实时Web服务建模和测试
机译:Songrium派生因子分析:通过建模N阶导数创建来浏览派生因子的Web服务
机译:Web服务可访问的湍流通道流量数据库及其用于测试LES的新整体墙模型
机译:通过从业务规则模型派生属性,使用FsCheck进行基于属性的测试
机译:使用基于物业的测试,加权语法基因生成器,以及对测试浏览器渲染引擎的共识oracle并重现最小化的现有测试用例版本
机译:BioModels.net Web服务用于计算建模软件的免费和集成工具包
机译:通过从业务规则模型中获取属性,基于物业的Web服务测试