机译:用于自动测试Lotos中指定的通信协议,软件和系统的数据流方面的正式方法
机译:电站自动化过程控制系统的试验场:培训专家和测试复杂控制系统的有效工具
机译:基于模型的测试Oracle生成,用于代理系统的自动单元测试
机译:CondAta:一种用于自动化基于规范的通信系统的测试用例的工具
机译:比较自动测试生成工具“ EVOSUITE”和“ Tpalus”的有效性。
机译:稀有疾病患者联系注册表中的自动通信系统:用于识别和招募临床研究参与者的可扩展工具
机译:ConData:一种用于自动化通信系统基于规范的测试用例生成的工具
机译:使用sCR生成基于规范的自动化测试用例