CREST: Centre for Research on Evolution, Search and Testing, Platform Grant.
CREST:进化、搜索和测试研究中心,平台资助。
基本信息
- 批准号:EP/G060525/1
- 负责人:
- 金额:$ 139.03万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2009
- 资助国家:英国
- 起止时间:2009 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
CREST's approach to Software Engineering places search--based optimisation at its heart. The CREST philosophy is that software engineering can be thought of as a search for good quality solutions within a potentially enormous search space, while balancing many different competing, sometimes conflicting, objectives. We believe that this philosophy is important in all engineering disciplines, but it is in Software Engineering where it finds its greatest potential. The materials and artifacts used in software engineering are very different; they are pure processes and information, essentially without physical manifestation. This makes the search--based optimisation agenda particularly apposite and offers the significant advantage of automation. The work supported by this platform proposal will develop, extend and disseminate this agenda of Automated Optimisation in Software Engineering.
Crest的软件工程方法将基于搜索的优化置于核心。波峰的理念是,可以将软件工程视为在潜在巨大的搜索空间中寻找优质解决方案的搜索,同时平衡许多不同的竞争,有时是矛盾的目标。我们认为,这种理念在所有工程学科中都很重要,但是在软件工程中,它具有最大的潜力。软件工程中使用的材料和工件截然不同。它们是纯粹的过程和信息,本质上没有物理表现。这使得基于搜索的优化议程特别适合,并提供了自动化的重要优势。该平台建议支持的工作将开发,扩展和传播软件工程中自动优化的议程。
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
AUSTIN: An open source tool for search based software testing of C programs
- DOI:10.1016/j.infsof.2012.03.009
- 发表时间:2013
- 期刊:
- 影响因子:0
- 作者:Kiran Lakhotia;M. Harman;Hamilton Gross
- 通讯作者:Kiran Lakhotia;M. Harman;Hamilton Gross
共 1 条
- 1
Mark Harman其他文献
Editorial: Testing practice and research
社论:测试实践与研究
- DOI:10.1002/stvr.v18:210.1002/stvr.v18:2
- 发表时间:20082008
- 期刊:
- 影响因子:0
- 作者:Mark Harman;Zheng Li;Phil McMinnMark Harman;Zheng Li;Phil McMinn
- 通讯作者:Phil McMinnPhil McMinn
Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing
约束组合测试的约束处理技术的比较分析
- DOI:10.1109/tse.2019.295568710.1109/tse.2019.2955687
- 发表时间:2019-112019-11
- 期刊:
- 影响因子:7.4
- 作者:Huayao Wu;Changhai Nie;Justyna Petke;Yue Jia;Mark HarmanHuayao Wu;Changhai Nie;Justyna Petke;Yue Jia;Mark Harman
- 通讯作者:Mark HarmanMark Harman
Formal verification of communication protocol using type theory
使用类型理论对通信协议进行形式化验证
- DOI:10.1109/icct.2003.120983110.1109/icct.2003.1209831
- 发表时间:20032003
- 期刊:
- 影响因子:0
- 作者:Xingyuan Zhang;Xiren Xie;Malcolm Munro;Mark Harman;Lin HuXingyuan Zhang;Xiren Xie;Malcolm Munro;Mark Harman;Lin Hu
- 通讯作者:Lin HuLin Hu
An Analysis of the Relationship between Information Squeeziness and Failed Error Propagation in Software Testing 8 October 2013
软件测试中信息挤压与错误传播失败的关系分析 2013 年 10 月 8 日
- DOI:
- 发表时间:20132013
- 期刊:
- 影响因子:0
- 作者:K. Androutsopoulos;David Clark;Haitao Dan;R. Hierons;Mark HarmanK. Androutsopoulos;David Clark;Haitao Dan;R. Hierons;Mark Harman
- 通讯作者:Mark HarmanMark Harman
FrUITeR: a framework for evaluating UI test reuse
FrUITeR:评估 UI 测试重用的框架
- DOI:10.1145/3368089.340970810.1145/3368089.3409708
- 发表时间:20202020
- 期刊:
- 影响因子:0
- 作者:Yixue Zhao;Justin Chen;Adriana Sejfia;Marcelo Schmitt Laser;Jie M. Zhang;Federica Sarro;Mark Harman;N. MedvidovićYixue Zhao;Justin Chen;Adriana Sejfia;Marcelo Schmitt Laser;Jie M. Zhang;Federica Sarro;Mark Harman;N. Medvidović
- 通讯作者:N. MedvidovićN. Medvidović
共 6 条
- 1
- 2
Mark Harman的其他基金
GGGP: Grow and Graft Genetic Programming
GGGP:生长和移植基因编程
- 批准号:EP/M025853/1EP/M025853/1
- 财政年份:2015
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
RE-COST: REducing the Cost of Oracles for Software Testing
RE-COST:降低软件测试的 Oracle 成本
- 批准号:EP/I010165/1EP/I010165/1
- 财政年份:2011
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
GISMO: Genetic Improvement of Software for Multiple Objectives
GISMO:多目标软件的遗传改进
- 批准号:EP/I033688/1EP/I033688/1
- 财政年份:2011
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
CREST: Centre for Research on Evolution, Search and Testing, Platform Grant.
CREST:进化、搜索和测试研究中心,平台资助。
- 批准号:EP/G060525/2EP/G060525/2
- 财政年份:2010
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
SEBASE: Software Engineering By Automated SEarch
SEBASE:自动搜索的软件工程
- 批准号:EP/D050863/2EP/D050863/2
- 财政年份:2010
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
SLIM : SLIcing state based Models
SLIM:基于 SLI 状态的模型
- 批准号:EP/F059442/2EP/F059442/2
- 财政年份:2010
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
SSBSE: Symposium on Search Based Software Engineering
SSBSE:基于搜索的软件工程研讨会
- 批准号:EP/G04872X/1EP/G04872X/1
- 财政年份:2009
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
SLIM : SLIcing state based Models
SLIM:基于 SLI 状态的模型
- 批准号:EP/F059442/1EP/F059442/1
- 财政年份:2008
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
A-CluB: Automated Cluster Breaking
A-CluB:自动集群破坏
- 批准号:EP/F010443/1EP/F010443/1
- 财政年份:2007
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
Testing Academia and Industry Conference 2007
2007 年测试学术界和行业会议
- 批准号:EP/F012535/1EP/F012535/1
- 财政年份:2007
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Research GrantResearch Grant
相似国自然基金
Sox9/eIF6通过调控EndMT促进衰老过程中心肌纤维化的机制研究
- 批准号:82301781
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
室温钠硫电池用氮氧化钛载体的d带中心调控与电催化机理研究
- 批准号:52307239
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
通往人类智能增强:医疗场景中以人为中心的人智交互设计及其效果研究
- 批准号:72301279
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
中心体蛋白Ccdc159缺失所致无头精子综合症的发病机制研究
- 批准号:82371614
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
川芎根ZIP镉转运蛋白及其金属中心位点与镉(Ⅱ)配体结合的平衡解离常数研究
- 批准号:82373986
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
相似海外基金
REU Site: ASL-English Bilingual Cognitive and Educational Neuroscience Training and Research Experience (ASL-English Bilingual CENTRE)
REU网站:ASL-英语双语认知和教育神经科学培训和研究经验(ASL-英语双语中心)
- 批准号:23494542349454
- 财政年份:2024
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Standard GrantStandard Grant
19世紀末から20世紀前半における印象派の歴史化に関する研究―クロード・モネを中心に
十九世纪末至二十世纪上半叶印象派历史化研究——以莫奈为中心
- 批准号:24K1593824K15938
- 财政年份:2024
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Grant-in-Aid for Early-Career ScientistsGrant-in-Aid for Early-Career Scientists
中近世比叡山における和歌の享受と縁起史の架橋的研究―慈円と青蓮院との関係を中心に
中世纪和近代比睿山和歌的享受及其起源历史的桥梁研究 - 以慈恩与青莲院的关系为中心
- 批准号:24K1597324K15973
- 财政年份:2024
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Grant-in-Aid for Early-Career ScientistsGrant-in-Aid for Early-Career Scientists
中世やまと絵屏風の技法復元を中心とする総合的研究
专注于恢复中世纪大和屏风技术的综合研究
- 批准号:23K2190023K21900
- 财政年份:2024
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Grant-in-Aid for Scientific Research (B)Grant-in-Aid for Scientific Research (B)
日本的ケアシステムに関する基礎的研究―緩和ケアにおける意思決定過程を中心に―
日本护理体系的基础研究 - 关注姑息治疗的决策过程 -
- 批准号:23K2219823K22198
- 财政年份:2024
- 资助金额:$ 139.03万$ 139.03万
- 项目类别:Grant-in-Aid for Scientific Research (B)Grant-in-Aid for Scientific Research (B)