Automated software testing with context-free grammars and covering arrays
Automated software testing with context-free grammars and covering arrays
批准号:
8067-2011
负责人:
Hoffman, Daniel
金额:
$1.46万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2014
资助国家:
加拿大
项目状态:
已结题
起止时间:
2014-01-01 至 2015-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Computer software plays a central role in the modern world: in the Internet and consumer electronics, but also in the plants which generate electrical power, refine chemicals and manufacture automobiles. Software bugs are expensive, costing billions per year to repair. Software testing is the primary way that bugs are discovered before software is released for use.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Automated software testing with context-free grammars and covering arrays
-
批准号:8067-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2015
-
负责人:Hoffman, Daniel
-
依托单位:
Automated software testing with context-free grammars and covering arrays
-
批准号:8067-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2013
-
负责人:Hoffman, Daniel
-
依托单位:
Automated software testing with context-free grammars and covering arrays
-
批准号:8067-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2012
-
负责人:Hoffman, Daniel
-
依托单位:
Automated software testing with context-free grammars and covering arrays
-
批准号:8067-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2011
-
负责人:Hoffman, Daniel
-
依托单位:
Test frameworks for network security devices
-
批准号:8067-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.37万
-
财政年份:2010
-
负责人:Hoffman, Daniel
-
依托单位:
Test frameworks for network security devices
-
批准号:8067-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.37万
-
财政年份:2009
-
负责人:Hoffman, Daniel
-
依托单位:
Test frameworks for network security devices
-
批准号:8067-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.37万
-
财政年份:2008
-
负责人:Hoffman, Daniel
-
依托单位:
Test frameworks for network security devices
-
批准号:8067-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.37万
-
财政年份:2007
-
负责人:Hoffman, Daniel
-
依托单位:
Test frameworks for network security devices
-
批准号:8067-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.37万
-
财政年份:2006
-
负责人:Hoffman, Daniel
-
依托单位:
Software frameworks for internet test automation
-
批准号:8067-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.33万
-
财政年份:2005
-
负责人:Hoffman, Daniel
-
依托单位:
Software frameworks for internet test automation
-
批准号:8067-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.33万
-
财政年份:2004
-
负责人:Hoffman, Daniel
-
依托单位:
Software frameworks for internet test automation
-
批准号:8067-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.33万
-
财政年份:2003
-
负责人:Hoffman, Daniel
-
依托单位:
Software frameworks for internet test automation
-
批准号:8067-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.33万
-
财政年份:2002
-
负责人:Hoffman, Daniel
-
依托单位:
A new laboratory for experimental network research
-
批准号:251812-2002
-
项目类别:Research Tools and Instruments - Category 1 (<$150,000)
-
资助金额:$1.66万
-
财政年份:2001
-
负责人:Hoffman, Daniel
-
依托单位:
Software frameworks for internet test automation
-
批准号:8067-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.33万
-
财政年份:2001
-
负责人:Hoffman, Daniel
-
依托单位:
Engineering class libraries
-
批准号:8067-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.1万
-
财政年份:2000
-
负责人:Hoffman, Daniel
-
依托单位:
Engineering class libraries
-
批准号:8067-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.1万
-
财政年份:1999
-
负责人:Hoffman, Daniel
-
依托单位:
Engineering class libraries
-
批准号:8067-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.0万
-
财政年份:1998
-
负责人:Hoffman, Daniel
-
依托单位:
Component-based approaches for software engineering and re- engineering
-
批准号:187055-1996
-
项目类别:Research Tools and Instruments - Category 1 (<$150,000)
-
资助金额:$2.16万
-
财政年份:1996
-
负责人:Hoffman, Daniel
-
依托单位:
Software specification and verification: methodology and technology transfer
-
批准号:8067-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.65万
-
财政年份:1996
-
负责人:Hoffman, Daniel
-
依托单位:
国内基金
海外基金
低辐射空间环境下商用多核处理器层次化软件容错技术研究
-
批准号:90818016
-
项目类别:重大研究计划
-
资助金额:50.0万元
-
批准年份:2008
-
负责人:傅忠传
-
依托单位: