SOA; business process; test assertions; test cases;
机译:具有断言的程序的可测试性转换的新方法
机译:使用程序转换为JML优化生成的面向方面的断言检查代码:一项实证研究
机译:用于深度并行和内存层次结构的循环变换的半自动组合
机译:SOA半自动测试断置变换方案
机译:对审计师的断言级别内在风险评估进行的实证检验:关于断言的一致性的解释测试。
机译:通过程序转换在Maude中强加断言
机译:用于视觉模式识别的变换和关系结构方案 - 用旋转随机点模式实验测试的两个模型
机译:改善WsR-88D降雨量估算的统计目标分析方案(sOas)。第2卷.sOas版本1.0。用户指导