基于符号执行的复杂软件系统测试与验证研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 国家自然科学基金委员会计算机学科系统与软件“十四五”发展规划研究（国自然，李宣东，2019）
• 基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究（国自然，李宣东，2008）
• 基于场景规约的Web Service组合行为获取与验证研究（国自然，李宣东，2006）
• 软件工程学（国自然，李宣东，2004）
• 第七届IEEE面向对象实时分布式计算国际研讨会（国自然，李宣东，2004）
• 第七届实时与容错系统中的形式化技术国际研讨会（国自然，李宣东，2002）
• 第一届中美欧CUE学术研讨会（国自然，李宣东，2002）
• 第四届国际统一建模语言学术会议（国自然，李宣东，2001）

南京大学其他项目

• 海藻酸锰水凝胶介导的锰离子局部递送增强放疗远端效应及抗肿瘤免疫研究（国自然，徐涛，2026）
• 靶向抑制剂修复化疗诱导的男性生育功能损伤的作用和机制研究（国自然，张天舒，2026）
• 响应肿瘤缺氧微环境的高穿透性酵母菌疫苗在结直肠癌中的治疗作用和机制研究（国自然，李昕阳，2026）
• 跨膜蛋白Claudin-6对胰腺癌发生发展的影响与机制研究（国自然，苏呈祥，2026）
• 全新世热带高海拔温度响应机制与敏感性估计：模拟与指标协同的定量约束（国自然，保云涛，2026）
• UnchartedRO₂reactionsofmixturesintheatmosphere:roleinaerosolformationandoxidantcycling（国自然，OtsoPeräkylä，2026）
• 海洋低云增亮情景下非均匀强迫对降水敏感度的影响机制及观测约束（国自然，张仕鹏，2026）
• 燃烧源有机气溶胶老化过程中的毒性演化模拟研究（国自然，郑昊天，2026）

系统软件、数据库与工业软件学科其他项目

• 面向业务流程智能化的合规性分析与验证方法研究（国自然，王娇娇，2020）
• 基于非中心化学习机制的推荐模型关键问题研究（国自然，陈健，2020）
• 多源数据修复问题的关键技术研究（国自然，孙纪舟，2020）
• 基于混合异构平台的大规模肽段测序并行技术研究（国自然，李闯，2020）
• 面向异构混合内存的NVM感知索引及自适应学习方法研究（国自然，金培权，2020）
• 面向新型移动互联网的位置隐私保护技术研究（国自然，李艳辉，2020）
• 基于场景画像的建筑新能源的在线建模和优化控制（国自然，桂宁，2020）
• 大规模非确定图数据分析及其Multi-Accelerator并行系统架构研究（国自然，张珩，2020）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• Circulation（IF 41.300，JCR Q1）
• Cardiovascular Diabetology（IF 15.600，JCR Q1）
• Annual Review of Control Robotics and Autonomous Systems（IF 14.600，JCR Q1）
• Nature Cardiovascular Research（IF 12.600，JCR Q1）
• High-Confidence Computing（IF 9.000，JCR Q1）