e-Business Department, Korea Polytechnic University, 2121 Jeongwangdong, Siheung city, Korea;
机译:缺乏自信,同伴受害和女孩患抑郁症的风险:测试一个素质压力模型。
机译:使用模糊逻辑技术进行基于断言的软件测试度量
机译:用于基于断言的测试生成的测试压缩技术
机译:基于处方级别的SOA测试断言模型
机译:用于基于SOA的应用程序建模的流程规范建模语言。
机译:缺乏断言同伴受害者和女孩抑郁症的风险:测试素质压力模型
机译:Studio应用了基于实数模型的验证和基于断言的混合信号验证。基于实数建模与断言的验证技术在混合信号电路设计中的研究与应用
机译:面向对象软件的基于可测试性的断言放置工具