博士生导师 硕士生导师 学位:博士学位 性别:女 毕业院校:北京邮电大学 学历:研究生毕业 在职信息:在职 所在单位:计算机学院(国家示范性软件学院) 电子邮箱:16846a99bb9b2046fcd98d6b969704b1abc93d1386ec5144114c95f98197bcbd686f656d1ebf80b1f391c8a471b73f88f38c5d79d370aee381d632055f3a12bfb627644ccadcf07a3c430751b75791f48ffc0102e23303e69d23a416d62fe92abbf30d076f38b678553ea81902bf77d0a831b68deb9193a07b3b309654ade0d4
论文名称:测试用例自动生成中约束求解策略的选择 发表刊物:内蒙古大学学报. 自然科学版 论文类型:期刊 是否译文:否 发表时间:2011-09-15 发表时间:2011-09-15
上一条:STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic
下一条:The Research of an Abstract Semantic Framework for Defect Detecting