搜索到 篇“ 程序不变量 “的相关文章

相关作者

阳小华
作品数：212被引量：716H指数：15
供职机构：南华大学
研究主题：程序不变量 软件工程 信息检索 计算思维 合约
刘树锟
作品数：19被引量：34H指数：3
供职机构：湖南涉外经济学院
研究主题：程序不变量 动态检测 合约 条件查询 软件质量
刘杰
作品数：108被引量：182H指数：7
供职机构：南华大学
研究主题：CU 组件 程序不变量 VVC 复杂度
曾凡平
作品数：64被引量：192H指数：7
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
吴取劲
作品数：29被引量：77H指数：4
供职机构：南华大学
研究主题：工作流 似然 程序不变量 软件测试 深度优先搜索