刷新
{{item.name}}会员
Software Test Case Generation using Constraint Satisfaction Problems Techniques
使用约束满足问题技术生成软件测试用例
基本信息
- 批准号：450677-2013
- 负责人：
- 金额：$ 0.33万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2013
- 资助国家：加拿大
- 起止时间：2013-01-01 至 2014-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有摘要--Aucun Sommaire
项目成果
期刊论文数量（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 }}
Vanderveen, Patrick其他文献
Vanderveen, Patrick的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Vanderveen, Patrick', 18)}}的其他基金
Software Test Case Generation using Constraint Satisfaction Problems Techniques
使用约束满足问题技术生成软件测试用例
- 批准号：
466240-2014 - 财政年份：2014
- 资助金额：
$ 0.33万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
数字化生态赋能TEST融合型翻译人才培养模型构建与指标体系研究
- 批准号：2023JJ50396
- 批准年份：2023
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于广义测量的多体量子态self-test的实验研究
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于“Design-Build-Test”循环策略的新型紫色杆菌素组合生物合成研究
- 批准号：
- 批准年份：2021
- 资助金额：0.0 万元
- 项目类别：省市级项目
破解高质量低费用确定型test-per-clock测试难题的新方法
- 批准号：61804037
- 批准年份：2018
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
基于Martingale-test理论的无监督人体行为分类算法研究
- 批准号：61403232
- 批准年份：2014
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Test case prioritization using machine learning for large-scale continuous integration environment
使用机器学习对大规模持续集成环境进行测试用例优先级排序
- 批准号：
576129-2022 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Alliance Grants
EAR-PF: Controls of and connections between silicate weathering and organic carbon cycling in watersheds: A test case in the Upper Deschutes Basin, Oregon, USA
EAR-PF：流域硅酸盐风化与有机碳循环之间的控制和联系：美国俄勒冈州上德舒特盆地的测试案例
- 批准号：
2053056 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Fellowship Award
Digital approaches to the capture and analysis of watermarks using the manuscripts of Isaac Newton as a test case
使用艾萨克·牛顿的手稿作为测试用例来捕获和分析水印的数字方法
- 批准号：
AH/V009486/1 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Research Grant
Collaborative Research: Science-Aware Computational Methods for Accelerating Data-Intensive Discovery: Astroparticle Physics as a Test Case
协作研究：加速数据密集型发现的科学感知计算方法：天体粒子物理学作为测试用例
- 批准号：
1940074 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
Continuing Grant
Collaborative Research: Science-Aware Computational Methods for Accelerating Data-Intensive Discovery: Astroparticle Physics as a Test Case
协作研究：加速数据密集型发现的科学感知计算方法：天体粒子物理学作为测试用例
- 批准号：
1940080 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
Continuing Grant
Collaborative Research: Science-Aware Computational Methods for Accelerating Data-Intensive Discovery: Astroparticle Physics as a Test Case
协作研究：加速数据密集型发现的科学感知计算方法：天体粒子物理学作为测试用例
- 批准号：
1940209 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
Continuing Grant
Medication Adherence Monitoring at the Point of Care: Pediatric Asthma as a Test Case
护理点药物依从性监测：小儿哮喘作为测试案例
- 批准号：
9895965 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
D-RISK: Validating the autonomous vehicle safety-case using simulation and adaptive test generation
D-RISK：使用模拟和自适应测试生成验证自动驾驶汽车安全案例
- 批准号：
104528 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
Collaborative R&D
Carbon cycling in a warming world: a deglacial test case
变暖世界中的碳循环：冰消测试案例
- 批准号：
NE/S001743/1 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：
Research Grant
Medication Adherence Monitoring at the Point of Care: Pediatric Asthma as a Test Case
护理点药物依从性监测：小儿哮喘作为测试案例
- 批准号：
10005343 - 财政年份：2019
- 资助金额：
$ 0.33万 - 项目类别：