...
机译:Euler / Venn推理系统改进动态域减少测试数据生成方法
Iran University of Science and Technology;
Iran University of Science and Technology;
Domain coverage; Domain reduction; Test data generation; Euler/Venn diagram;
机译:基于推理的测试数据生成中动态域缩减的方法
机译:基于推理的动态域减少测试数据生成方法
机译:具有迭代分区的测试数据生成的动态输入域减少
机译:欧拉图和维恩图在演绎推理中的功效:经验发现
机译:以FOL和Euler / Venn推理为例设计异构推理系统。
机译:VennDiagramWeb:用于生成高度可定制的Venn和Euler图的Web应用程序
机译:测试数据生成的动态域缩减程序
机译:风洞动力稳定性试验方法与数据约简分析