Departamento Sistemas Informaticos y Computacion Universidad Complutense de Madrid, Spain;
Departamento Sistemas Informaticos y Computacion Universidad Complutense de Madrid, Spain;
Departamento Sistemas Informaticos y Computacion Universidad Complutense de Madrid, Spain;
Model Based Testing; Input Output Conformance Simula- tion; Formal Methods;
机译:基于模型的变异测试的符号输入-输出一致性检查
机译:使用ioco代理测试器进行一致性测试:应用于部署在云中的Web服务组合
机译:软件产品线的输入输出一致性测试
机译:基于模型测试的输入 - 输出一致性模拟(IOCOS)
机译:针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。
机译:基于评估者的测试的可靠性:使用模拟构建的模型来确定上下文相关的协议阈值
机译:用于基于模型的测试的输入输出一致性仿真(iocos)