博士生导师 硕士生导师 学位:博士学位 性别:女 毕业院校:北京邮电大学 学历:研究生毕业 在职信息:在职 所在单位:计算机学院(国家示范性软件学院) 电子邮箱:16846a99bb9b2046fcd98d6b969704b1abc93d1386ec5144114c95f98197bcbd686f656d1ebf80b1f391c8a471b73f88f38c5d79d370aee381d632055f3a12bfb627644ccadcf07a3c430751b75791f48ffc0102e23303e69d23a416d62fe92abbf30d076f38b678553ea81902bf77d0a831b68deb9193a07b3b309654ade0d4
论文名称:STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic 发表刊物:2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011) 论文类型:会议 是否译文:否 发表时间:2011-12-05 发表时间:2011-12-05
上一条:基于内存建模的复杂结构类型测试数据自动生成方法
下一条:测试用例自动生成中约束求解策略的选择