位置：成果数据库 > 会议 > 会议详情页
Requirements Guided Dynamic So
  • 所属机构名称：北京大学
  • 成果类型：会议
  • 相关项目：知识驱动的自动化程序理解方法与支持系统研究
作者： 赵伟，张路，梅宏，孙家骕
同会议论文项目
知识驱动的自动化程序理解方法与支持系统研究
期刊论文 12 会议论文 12
同项目会议论文
Testing-Based Interactive Faul
Java代码信息查询语言
Applying Interface-Contract Mu
A Similarity-Aware Approach to
A Hierarchical Decomposition M
An Experimental Comparison of
模型驱动的面向对象程序信息抽取
Eliminating Harmful Redundancy
An Approach to Detecting Dupli
Towards Interactive Fault Loca
Contract-Based Mutation for Te