课题基金 / 基金详情

The Birth, Life and Death of Semantic Mutants

The Birth, Life and Death of Semantic Mutants
语义突变体的诞生、生存和死亡
批准号:
EP/G043604/1
负责人:
John Clark
金额:
$17.36万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2009
资助国家:
英国
项目状态:
已结题
起止时间:
2009 至 --

项目摘要

项目成果

John Clark的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
DOI: 10.1145/2463372.2463550
发表时间: 2013-07
期刊: J. Syst. Softw.
影响因子: --
作者: [Simon M. Poulding;Robert Alexander;John A. Clark;M. Hadley]
通讯作者: Simon M. Poulding;Robert Alexander;John A. Clark;M. Hadley
Evaluation of Mutation Testing in a Nuclear Industry Case Study
核工业案例研究中突变测试的评估
DOI: 10.1109/tr.2018.2864678
发表时间: 2018
期刊: IEEE Transactions on Reliability
影响因子: 5.9
作者: [Delgado-Perez P]
通讯作者: Delgado-Perez P
Mutation-optimised subdomains for test data generation and program analysis
用于测试数据生成和程序分析的突变优化子域
DOI: --
发表时间: 2013
期刊:
影响因子: --
作者: [Patrick Matthew Timothy]
通讯作者: Patrick Matthew Timothy
DOI: 10.1016/j.jss.2014.11.033
发表时间: 2015-05
期刊: J. Syst. Softw.
影响因子: --
作者: [Matthew Patrick;Robert Alexander;M. Oriol;John A. Clark]
通讯作者: Matthew Patrick;Robert Alexander;M. Oriol;John A. Clark
7
    Security of Digital Twins in Manufacturing
    • 批准号:
      EP/V039156/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $79.0万
    • 财政年份:
      2021
    • 负责人:
      John Clark
    • 依托单位:
    Collaborative Research: REVSYS: A revision of the sectional classification of Columnea (Gesneriaceae) and the species of section Ortholoma
    • 批准号:
      0949169
    • 项目类别:
      Standard Grant
    • 资助金额:
      $10.09万
    • 财政年份:
      2010
    • 负责人:
      John Clark
    • 依托单位:
    Phylogenetics and taxonomic revision of the neotropical genus Drymonia (Gesneriaceae, tribe Episcieae)
    • 批准号:
      0841958
    • 项目类别:
      Standard Grant
    • 资助金额:
      $18.77万
    • 财政年份:
      2009
    • 负责人:
      John Clark
    • 依托单位:
    System-Smart Intrusion Detection
    • 批准号:
      EP/E028128/1
    • 项目类别:
      Research Grant
    • 资助金额:
      $29.08万
    • 财政年份:
      2007
    • 负责人:
      John Clark
    • 依托单位:
    国内基金
    海外基金
    自支撑LiFe5O8外延薄膜的弯曲磁结构解析与微磁学仿真研究
    • 批准号:
      12104357
    • 项目类别:
      青年科学基金项目(C类)
    • 资助金额:
      30.0万元
    • 批准年份:
      2021
    • 负责人:
      沈律康
    • 依托单位:
    LiFE 项目在非手术住院后老年人群中的衰弱干预效果研究:一项随机对照试验
    • 批准号:
      2021JJ40798
    • 项目类别:
      省市级项目
    • 资助金额:
      --
    • 批准年份:
      2021
    • 负责人:
      刘民辉
    • 依托单位:
    SCIENCE CHINA Life Sciences (中国科学 生命科学)
    运用Life-course方法纵向研究婴幼儿龋发病危险因素
    • 批准号:
      30872875
    • 项目类别:
      面上项目
    • 资助金额:
      25.0万元
    • 批准年份:
      2008
    • 负责人:
      林焕彩
    • 依托单位: