Linkage - International - Grant ID: LX0776490

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/LX0776490

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.

Funded Activity Details

Start Date: 01-07-2007

End Date: 30-06-2010

Funding Scheme: Linkage - International

Funding Amount: $21,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Software Engineering | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified |

Other Keywords

Computer Software | Computer software and services not elsewhere classified | Software Engineering

Related Links