Leveraging Test Suites for Better Program Analysis

利用测试套件进行更好的程序分析

基本信息

  • 批准号:
    RGPIN-2018-03983
  • 负责人:
  • 金额:
    $ 2.04万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2021
  • 资助国家:
    加拿大
  • 起止时间:
    2021-01-01 至 2022-12-31
  • 项目状态:
    已结题

项目摘要

compilers; dynamic analysis; hybrid analysis; program understanding; software engineering; software testing; software verification; static analysis
编译器;动态分析;混合分析;程序理解;软件工程;软件测试;软件验证;静态分析

项目成果

期刊论文数量(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 }}

Lam, Patrick其他文献

Paper 04: The Effects of Glenohumeral Osteoarthritis on Early Clinical Outcomes Following Arthroscopic Rotator Cuff Repair
  • DOI:
    10.1177/2325967121s00542
  • 发表时间:
    2022-05-27
  • 期刊:
  • 影响因子:
    2.6
  • 作者:
    Lam, Patrick;Hackett, Lisa;Murrell, George A. C.;Yeo, Wai Weng
  • 通讯作者:
    Yeo, Wai Weng
Evaluating Sustainable Building-Maintenance Projects: Balancing Economic, Social, and Environmental Impacts in the Case of Hong Kong
Stiffness: friend or foe? A cohort study evaluating the effect of early postoperative stiffness on the outcomes of patients who underwent superior labral repair
  • DOI:
    10.1016/j.jse.2020.07.046
  • 发表时间:
    2021-04-16
  • 期刊:
  • 影响因子:
    3
  • 作者:
    Murphy, Geoffrey T.;Lam, Patrick;Murrell, George A. C.
  • 通讯作者:
    Murrell, George A. C.
Temporal Trends in Characteristics and Outcomes Associated With In-Hospital Cardiac Arrest: A 20-Year Analysis (1999-2018).
  • DOI:
    10.1161/jaha.121.021572
  • 发表时间:
    2021-12-07
  • 期刊:
  • 影响因子:
    5.4
  • 作者:
    Wu, Lingling;Narasimhan, Bharat;Bhatia, Kirtipal;Ho, Kam S.;Krittanawong, Chayakrit;Aronow, Wilbert S.;Lam, Patrick;Virani, Salim S.;Pamboukian, Salpy, V
  • 通讯作者:
    Pamboukian, Salpy, V
Computer-Assisted Keyword and Document Set Discovery from Unstructured Text
  • DOI:
    10.1111/ajps.12291
  • 发表时间:
    2017-10-01
  • 期刊:
  • 影响因子:
    4.2
  • 作者:
    King, Gary;Lam, Patrick;Roberts, Margaret E.
  • 通讯作者:
    Roberts, Margaret E.

Lam, Patrick的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Lam, Patrick', 18)}}的其他基金

Leveraging Test Suites for Better Program Analysis
利用测试套件进行更好的程序分析
  • 批准号:
    RGPIN-2018-03983
  • 财政年份:
    2022
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Discovery Grants Program - Individual
Leveraging Test Suites for Better Program Analysis
利用测试套件进行更好的程序分析
  • 批准号:
    RGPIN-2018-03983
  • 财政年份:
    2020
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Discovery Grants Program - Individual
Leveraging Test Suites for Better Program Analysis
利用测试套件进行更好的程序分析
  • 批准号:
    RGPIN-2018-03983
  • 财政年份:
    2019
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Discovery Grants Program - Individual
Leveraging Test Suites for Better Program Analysis
利用测试套件进行更好的程序分析
  • 批准号:
    RGPIN-2018-03983
  • 财政年份:
    2018
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Discovery Grants Program - Individual
Combining domain-specific and general-purpose languages to improve program analysis
结合特定领域和通用语言来改进程序分析
  • 批准号:
    356027-2013
  • 财政年份:
    2017
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Discovery Grants Program - Individual
Combining domain-specific and general-purpose languages to improve program analysis
结合特定领域和通用语言来改进程序分析
  • 批准号:
    356027-2013
  • 财政年份:
    2016
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Discovery Grants Program - Individual
Automatic refactoring of test clones
自动重构测试克隆
  • 批准号:
    484446-2015
  • 财政年份:
    2016
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Collaborative Research and Development Grants
Automatic refactoring of test clones
自动重构测试克隆
  • 批准号:
    484446-2015
  • 财政年份:
    2015
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Collaborative Research and Development Grants
Analyzing causes of test failures
分析测试失败的原因
  • 批准号:
    485177-2015
  • 财政年份:
    2015
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Engage Grants Program
Combining domain-specific and general-purpose languages to improve program analysis
结合特定领域和通用语言来改进程序分析
  • 批准号:
    356027-2013
  • 财政年份:
    2015
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Discovery Grants Program - Individual

相似国自然基金

数字化生态赋能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 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

HAIRCYCLE: a pilot study to explore and test regenerative, local, bio-based and circular models for human hair waste
HAIRCYCLE:一项试点研究,旨在探索和测试人类毛发废物的再生、局部、生物基和循环模型
  • 批准号:
    AH/Z50550X/1
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Research Grant
Expanding syphilis screening among pregnant women in Indonesia using the rapid dual test for syphilis & HIV with capacity building: The DUALIS Study
使用梅毒快速双重检测扩大印度尼西亚孕妇梅毒筛查
  • 批准号:
    MR/Y004825/1
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Research Grant
mPatch: a rapid test for improving diagnosis and triage of melanoma patients in primary care
mPatch:一种快速测试,用于改善初级保健中黑色素瘤患者的诊断和分诊
  • 批准号:
    MR/Y503381/1
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Research Grant
Collaborative Research: RUI: Continental-Scale Study of Jura-Cretaceous Basins and Melanges along the Backbone of the North American Cordillera-A Test of Mesozoic Subduction Models
合作研究:RUI:北美科迪勒拉山脊沿线汝拉-白垩纪盆地和混杂岩的大陆尺度研究——中生代俯冲模型的检验
  • 批准号:
    2346565
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Standard Grant
Collaborative Research: RUI: Continental-Scale Study of Jura-Cretaceous Basins and Melanges along the Backbone of the North American Cordillera-A Test of Mesozoic Subduction Models
合作研究:RUI:北美科迪勒拉山脊沿线汝拉-白垩纪盆地和混杂岩的大陆尺度研究——中生代俯冲模型的检验
  • 批准号:
    2346564
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Standard Grant
ICF: Development of a rapid diagnostic test to identify Crimean-Congo Haemorrhagic Fever at the point-of-care
ICF:开发快速诊断测试以在护理点识别克里米亚-刚果出血热
  • 批准号:
    MR/Y019431/1
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Research Grant
改良型Stroop testの開発とその有用性
改进斯特鲁测试的发展及其实用性
  • 批准号:
    24K20330
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
An Eye-Tracking Study: Exploring Integrated Reading Tasks in the New Format of the English Common Test for Japanese University Admissions
眼动追踪研究:探索日本大学入学英语通用考试新形式中的综合阅读任务
  • 批准号:
    24K04032
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
On-site environmental DNA sensing with user-friendly test strips
使用用户友好的测试条进行现场环境 DNA 传感
  • 批准号:
    DP240103024
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Discovery Projects
Dual Syphilis and HIV: Evaluation of POC and Self-Test by Untrained Persons, Peers and Intended Users
双梅毒和 HIV:未经培训的人员、同行和目标用户对 POC 和自检的评估
  • 批准号:
    502788
  • 财政年份:
    2024
  • 资助金额:
    $ 2.04万
  • 项目类别:
    Directed Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了