Runtime enforcement; Testing enforcers; Test case generation; Android apps;
机译:最新的法律执行软件
机译:最新的执法软件
机译:EPIT:自动生成测试用例的软件测试工具
机译:Test4Enforcers:软件执行者的测试案例
机译:基于规范的测试用例生成机制,用于面向服务的软件测试。
机译:使用COPDGene 2测试对象和第三代双源CT扫描器以及相应的第三代迭代重建软件的超低剂量(0.15 mGy)胸部CT协议
机译:Test4Enforcers:软件执行者的测试案例