model checking; model-based testing; test automation; web applications;
机译:使用模型检查器对Web应用程序进行建模,验证和测试
机译:使用模型检查器对Web应用程序进行建模,验证和测试
机译:启用了语义Web的多代理系统的领域特定建模语言的形式语义
机译:使用域特定的建模语言和NUSMV模型检查器的Web应用程序的测试工具
机译:潜在特征和多维缩放模型在认知领域特定测试中的应用。
机译:分支:一种基于Web的交互式工具用于测试假设并开发预测模型
机译:图转换在特定领域建模语言工具中的应用