...
机译:基于属性的加密程序测试框架
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China,State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China;
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China;
software testing; encryption programs; test oracles; metamorphic testing (MT);
机译:使用基于物业的测试来为C编程锻炼产生反馈
机译:XQuery程序的基于属性的自动测试和路径验证
机译:µQC:L4微内核的基于属性的测试框架
机译:使用基于物业的测试自动分级编程练习
机译:使用基于物业的测试,加权语法基因生成器,以及对测试浏览器渲染引擎的共识oracle并重现最小化的现有测试用例版本
机译:38个VA住宅PTSD计划中实施框架的定量测试
机译:基于属性的特权程序测试