中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：3

  • Chen, Taolue

    合作成果数：3

  • 高鹏飞

    合作成果数：1

访问统计


  总访问量
 533
  访问来源
    内部： 2
    外部： 531
    国内： 428
    国外： 105

  年访问量
 67
  访问来源
    内部： 0
    外部： 67
    国内： 59
    国外： 8

  月访问量
 3
  访问来源
    内部： 0
    外部： 3
    国内： 3
    国外： 0

访问量

访问量

1. Model-based automated testing of JavaScript Web applications via l.. [634]
2. ESAMPLER: Boosting sampling of satisfying assignments for Boolean .. [347]
3. ESampler: Efficient Sampling of Satisfying Assignments for Boolean.. [307]
4. 高效布尔可满足性问题采样方法研究 [240]
5. 面向深度神经网络自动驾驶系统的激光制导物理后门攻击方法 [76]

下载量

1. Model-based automated testing of JavaScript Web applications via l.. [217]