concurrency control; constraint handling; program testing; concurrent programs; dynamic test data selection; model-based testing; predicate sequencing constraint logic; program testing; symbolic test case generation method;
机译:具有谓词排序约束的并发程序的基于模型的测试
机译:在基于规范的并发程序测试中使用排序约束
机译:在基于规范的并行程序测试中使用排序约束
机译:具有谓词排序约束的并发程序的基于模型的测试
机译:并发程序的系统性和可扩展性测试。
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:共享变量并发程序的对称感知谓词抽象(扩展技术报告)
机译:基于模型的工程系统诊断约束规划