刷新
{{item.name}}会员
Scalable Program-Analysis-Based Testing and Maintenance: Infrastructure and Experimentation
可扩展的基于程序分析的测试和维护：基础设施和实验
基本信息
- 批准号：0196145
- 负责人：
- 金额：$ 155.31万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1999
- 资助国家：美国
- 起止时间：1999-12-31 至 2003-08-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Mary Harrold其他文献
Mary Harrold的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Mary Harrold', 18)}}的其他基金
I-Corps: Tarantula Testing and Debugging System
I-Corps：狼蛛测试和调试系统
- 批准号：
1245911 - 财政年份：2012
- 资助金额：
$ 155.31万 - 项目类别：
Standard Grant
Automatic Fault Localization Using Statistics and Visualization: An Empirical Research Program
使用统计和可视化的自动故障定位：实证研究计划
- 批准号：
0541049 - 财政年份：2006
- 资助金额：
$ 155.31万 - 项目类别：
Continuing Grant
Group Travel Grant for Faculty at Minority Institutions to Attend FSE-12
为少数族裔机构教员参加 FSE-12 提供团体旅行补助金
- 批准号：
0441530 - 财政年份：2004
- 资助金额：
$ 155.31万 - 项目类别：
Standard Grant
HDCCSR: Software Self-Awareness Using Dynamic Analysis and Markov Models
HDCCSR：使用动态分析和马尔可夫模型的软件自我意识
- 批准号：
0429117 - 财政年份：2004
- 资助金额：
$ 155.31万 - 项目类别：
Continuing Grant
Collaborative Research: Scalable Integration Testing of Object-Oriented Software: An Empirical Research Program
协作研究：面向对象软件的可扩展集成测试：实证研究计划
- 批准号：
0306372 - 财政年份：2003
- 资助金额：
$ 155.31万 - 项目类别：
Continuing Grant
Collaborative Research: ITR: Acquiring Accurate Dynamic Field Data Using Lightweight Instrumentation
合作研究：ITR：使用轻型仪器获取准确的动态场数据
- 批准号：
0205422 - 财政年份：2002
- 资助金额：
$ 155.31万 - 项目类别：
Standard Grant
Collaborative Research: MASSA: Mobile Agent System Security Through Analysis
合作研究：MASSA：移动代理系统安全分析
- 批准号：
0209322 - 财政年份：2002
- 资助金额：
$ 155.31万 - 项目类别：
Continuing Grant
Data-Flow Analysis of Large Software Systems
大型软件系统的数据流分析
- 批准号：
9988294 - 财政年份：2000
- 资助金额：
$ 155.31万 - 项目类别：
Continuing Grant
NSF Young Investigator: Testing Object-Oriented Programs
NSF 青年研究员：测试面向对象的程序
- 批准号：
0096321 - 财政年份：1999
- 资助金额：
$ 155.31万 - 项目类别：
Continuing Grant
Scalable Program-Analysis-Based Testing and Maintenance: Infrastructure and Experimentation
可扩展的基于程序分析的测试和维护：基础设施和实验
- 批准号：
9707792 - 财政年份：1997
- 资助金额：
$ 155.31万 - 项目类别：
Continuing Grant
相似国自然基金
基于大模型和程序分析的智能合约访问
控制漏洞检测技术
- 批准号：
- 批准年份：2025
- 资助金额：10.0 万元
- 项目类别：省市级项目
面向智能座舱场景的高透明低开销恶意程序分析方法研究
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于卷积神经网络建立中药材自动识别的人工智能模型及应用程序
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
应用程序的未授权麦克风访问行为分析与防护方法研究
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于微信小程序构建慢阻肺患者气雾剂宣教新模式及效果分析
- 批准号：2024KP141
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
面向人工智能可靠性的程序分析与合成技术研究
- 批准号：
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：面上项目
弱压缩迭代函数系统的重分形分析
- 批准号：n/a
- 批准年份：2022
- 资助金额：10.0 万元
- 项目类别：省市级项目
面向级联效应的非程序化公共决策风险协同评估：基于情景驱动的研究
- 批准号：72274151
- 批准年份：2022
- 资助金额：45 万元
- 项目类别：面上项目
钯硅非晶合金中程序结构演变显微分析研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于程序分析的IDE编程辅助智能增强关键技术研究
- 批准号：
- 批准年份：2022
- 资助金额：53 万元
- 项目类别：面上项目
相似海外基金
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
- 批准号：
RGPIN-2017-05070 - 财政年份：2022
- 资助金额：
$ 155.31万 - 项目类别：
Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
- 批准号：
RGPIN-2017-05070 - 财政年份：2021
- 资助金额：
$ 155.31万 - 项目类别：
Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
- 批准号：
RGPIN-2017-05070 - 财政年份：2020
- 资助金额：
$ 155.31万 - 项目类别：
Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
- 批准号：
RGPIN-2017-05070 - 财政年份：2019
- 资助金额：
$ 155.31万 - 项目类别：
Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
- 批准号：
RGPIN-2017-05070 - 财政年份：2018
- 资助金额：
$ 155.31万 - 项目类别：
Discovery Grants Program - Individual
Scalable and Precise Program Analysis for Modern Software Systems
现代软件系统的可扩展且精确的程序分析
- 批准号：
RGPIN-2017-05070 - 财政年份：2017
- 资助金额：
$ 155.31万 - 项目类别：
Discovery Grants Program - Individual
SHF:Small: Enabling Scalable and Expressive Program Analysis Notifications
SHF:Small：启用可扩展且富有表现力的程序分析通知
- 批准号：
1714538 - 财政年份：2017
- 资助金额：
$ 155.31万 - 项目类别：
Standard Grant
CRII: III: Scalable and Interactive Dependency Visualization to Accelerate Parallel Program Analysis
CRII：III：可扩展和交互式依赖关系可视化，以加速并行程序分析
- 批准号：
1656958 - 财政年份：2017
- 资助金额：
$ 155.31万 - 项目类别：
Standard Grant
SHF: Small: Expressive and Scalable Notifications for Program Analysis Tools
SHF：小：程序分析工具的富有表现力和可扩展的通知
- 批准号：
1217700 - 财政年份：2012
- 资助金额：
$ 155.31万 - 项目类别：
Standard Grant
Scalable Program Analysis for Software Verification
用于软件验证的可扩展程序分析
- 批准号：
EP/E053041/2 - 财政年份：2011
- 资助金额：
$ 155.31万 - 项目类别：
Fellowship