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 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
基于搜索的软件工程 - 第五届国际研讨会,SSBSE 2013,俄罗斯圣彼得堡,2013 年 8 月 24-26 日。
DOI:
10.1007/978-3-642-39742-4_20
发表时间:
2013
期刊:
影响因子:
--
作者:
[Patrick M]
通讯作者:
Patrick M
共 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
-
依托单位:
SEBASE: Software Engineering By Automated SEarch
-
批准号:EP/D050618/1
-
项目类别:Research Grant
-
资助金额:$99.95万
-
财政年份:2006
-
负责人:John Clark
-
依托单位:
Defending the Weakest Link: Intrusion via Social Engineering
-
批准号:EP/D051819/1
-
项目类别:Research Grant
-
资助金额:$24.12万
-
财政年份:2006
-
负责人:John Clark
-
依托单位:
Microscopic Theory of Quantum Fluids and Nuclear Systems
-
批准号:0140316
-
项目类别:Continuing Grant
-
资助金额:$39.3万
-
财政年份:2002
-
负责人:John Clark
-
依托单位:
Collaborative Research: Southern Grassroots Party Activists, 2001
-
批准号:9986523
-
项目类别:Standard Grant
-
资助金额:$5.41万
-
财政年份:2000
-
负责人:John Clark
-
依托单位:
Microscopic Theory of Quantum Fluids and Nuclear Systems
-
批准号:9900713
-
项目类别:Continuing Grant
-
资助金额:$37.6万
-
财政年份:1999
-
负责人:John Clark
-
依托单位:
Microscopic Theory of Quantum Fluids and Nuclear Systems
-
批准号:9602127
-
项目类别:Continuing Grant
-
资助金额:$38.14万
-
财政年份:1996
-
负责人:John Clark
-
依托单位:
CRI: Neuronal Ensembles as Encoding and Processing Probability Density Functions
-
批准号:9634314
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:1996
-
负责人:John Clark
-
依托单位:
Microscopic Theory of Quantum Fluids and Nuclear Systems
-
批准号:9307484
-
项目类别:Continuing Grant
-
资助金额:$33.0万
-
财政年份:1993
-
负责人:John Clark
-
依托单位:
Microscopic Theory of Quantum Fluids and Nuclear Systems
-
批准号:9002863
-
项目类别:Continuing Grant
-
资助金额:$24.15万
-
财政年份:1990
-
负责人:John Clark
-
依托单位:
Autonomic Nervous System Control of the Cardiac Pacemaker: Modeling Aspects
-
批准号:8716568
-
项目类别:Standard Grant
-
资助金额:$8.01万
-
财政年份:1988
-
负责人:John Clark
-
依托单位:
Mesoscale Frontal Waves
-
批准号:8701365
-
项目类别:Continuing Grant
-
资助金额:$16.38万
-
财政年份:1987
-
负责人:John Clark
-
依托单位:
Microscopic Theory of Quantum Fluids and Nuclear Systems (Materials Research)
-
批准号:8519077
-
项目类别:Continuing Grant
-
资助金额:$15.56万
-
财政年份:1986
-
负责人:John Clark
-
依托单位:
Microscopic Theory of Quantum Fluids and Nuclear Systems (Materials Research)
-
批准号:8304213
-
项目类别:Continuing Grant
-
资助金额:$13.69万
-
财政年份:1983
-
负责人:John Clark
-
依托单位:
Group Travel For U.S. Participants in the 7th International Heat Transfer Conference; Munich, Germany; Sept. 6-10, 1982
-
批准号:8200410
-
项目类别:Standard Grant
-
资助金额:$1.1万
-
财政年份:1982
-
负责人:John Clark
-
依托单位:
Microscopic Theory of Quantum Fluids and Extended Nuclear Systems
-
批准号:8008229
-
项目类别:Continuing Grant
-
资助金额:$11.07万
-
财政年份:1980
-
负责人:John Clark
-
依托单位:
Evoked Volume Conducted Field Potentials From Peripheral Nerve and the Spinal Cord
-
批准号:8014052
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1980
-
负责人:John Clark
-
依托单位:
国内基金
海外基金
登录
查看更多内容
自支撑LiFe5O8外延薄膜的弯曲磁结构解析与微磁学仿真研究
-
批准号:12104357
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:沈律康
-
依托单位:
LiFE 项目在非手术住院后老年人群中的衰弱干预效果研究:一项随机对照试验
-
批准号:2021JJ40798
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2021
-
负责人:刘民辉
-
依托单位:
SCIENCE CHINA Life Sciences (中国科学 生命科学)
-
批准号:81024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:李纪元
-
依托单位:
运用Life-course方法纵向研究婴幼儿龋发病危险因素
-
批准号:30872875
-
项目类别:面上项目
-
资助金额:25.0万元
-
批准年份:2008
-
负责人:林焕彩
-
依托单位: