Fault-Based Test Case Generation for Software. This research explores ways to generate fault based test cases from specifications to verify software applications. This will help to enhance knowledge and skills on frontier software technologies for building and transforming Australian IT industries. The results provide knowledge, methodologies and technologies to software industry in Australia on building better quality software faster. In addition, it will help to reveal faults earlier in the de ....Fault-Based Test Case Generation for Software. This research explores ways to generate fault based test cases from specifications to verify software applications. This will help to enhance knowledge and skills on frontier software technologies for building and transforming Australian IT industries. The results provide knowledge, methodologies and technologies to software industry in Australia on building better quality software faster. In addition, it will help to reveal faults earlier in the development phase. Software companies in Australia can apply these techniques to improve their software development process and, hence, enhance the quality of their product. They can also adapt the knowledge to manage and enhance the quality of their outsourcing projects.Read moreRead less
Virtual Environments for Improved Enterprise Software Deployment. This project aims to improve quality assurance for enterprise IT. Enterprise IT systems are highly interconnected and interdependent — a failure in one system can cause a cascade of failures across multiple systems, bringing business to a standstill. The project aims to create new technologies to automate the provisioning of virtual deployment environments to test the enterprise systems. In particular, it aims to develop new metho ....Virtual Environments for Improved Enterprise Software Deployment. This project aims to improve quality assurance for enterprise IT. Enterprise IT systems are highly interconnected and interdependent — a failure in one system can cause a cascade of failures across multiple systems, bringing business to a standstill. The project aims to create new technologies to automate the provisioning of virtual deployment environments to test the enterprise systems. In particular, it aims to develop new methods for the automatic analysis of service interaction traces and the generation of accurate executable service models, without requiring explicit knowledge of them. The automatic analysis and generation should reduce development cost for enterprise IT systems and increase system quality and reliability. The new software deployment technologies from this project aim to significantly reduce the time, effort and cost of system quality assurance activities in software development organisations, and yet produce higher-quality software leading to uninterrupted business operation in end-user organisations across all sectors.Read moreRead less
Agent-based coordination and negotiation technologies for decentralised service workflow management. This project will enhance the nation's expertise in ICT in general and smart information use in particular. In the real world, process management is a key issue in any workplace organisation which needs to be supported by workflow systems, particularly in this Internet and Web services era. This project will develop an innovative framework and the corresponding technologies for service workflow m ....Agent-based coordination and negotiation technologies for decentralised service workflow management. This project will enhance the nation's expertise in ICT in general and smart information use in particular. In the real world, process management is a key issue in any workplace organisation which needs to be supported by workflow systems, particularly in this Internet and Web services era. This project will develop an innovative framework and the corresponding technologies for service workflow management. The research will assist many organisations to effectively develop and deliver more efficient, reliable, flexible and adaptive business applications. Consequently, this will enhance the ability of many Australian organisations to run more productively and more competitively.Read moreRead less
e-Hermes: Context-rich mobile agent technologies to support information needs of financial institutions. How do we achieve flexibility and efficiency of financial services in electronic commerce environment using mobile software agents? To address this question the project will extend a system architecture based on mobile agents, which retrieve, pre-process and deliver relevant information to potentially mobile users. Two major components - information processor and agent mission processor - wil ....e-Hermes: Context-rich mobile agent technologies to support information needs of financial institutions. How do we achieve flexibility and efficiency of financial services in electronic commerce environment using mobile software agents? To address this question the project will extend a system architecture based on mobile agents, which retrieve, pre-process and deliver relevant information to potentially mobile users. Two major components - information processor and agent mission processor - will be researched and developed by two PhD scholars to be supported by this application. The project results could be commercialised by the industry partner. The project is innovative in that it considers the emerging agent paradigm as an integrated distributed system in the e-commerce environment.Read moreRead less
Formal Context Analysis in Rapidly Evolving Knowledge Webs (4CARE-K). On-the-fly personalised assembly of complex objects (learning
materials, contracts, plans, designs, software configurations, etc)
is increasingly expected in knowledge processing and decision
making. This requires the discovery of discrete underlying models and
taxonomies of subject domains and statistical matching in dynamically
varying contexts defined by changing personal preferences, tasks,
objectives and other chara ....Formal Context Analysis in Rapidly Evolving Knowledge Webs (4CARE-K). On-the-fly personalised assembly of complex objects (learning
materials, contracts, plans, designs, software configurations, etc)
is increasingly expected in knowledge processing and decision
making. This requires the discovery of discrete underlying models and
taxonomies of subject domains and statistical matching in dynamically
varying contexts defined by changing personal preferences, tasks,
objectives and other characteristics. This project addresses formal
models of context and similarity based in applied lattice theory
(formal concepts), feature logic and statistical retrieval. Parallel
algorithms will be developed, analysed and benchmarked to enable
high-performance processing of vast numbers of heterogeneous objects
in a distributed knowledge web.Read moreRead less
Identifying and Tracking Influential Events in Large Social Networks. This project aims to invent a novel model and techniques for identifying and tracking influential events in large and dynamic social networks in real time. The proposed model would take into account the structure and content of social networks, and the influence of events. The project also plans to develop efficient strategies for identifying and tracking events in large and dynamic social network environments based on the mod ....Identifying and Tracking Influential Events in Large Social Networks. This project aims to invent a novel model and techniques for identifying and tracking influential events in large and dynamic social networks in real time. The proposed model would take into account the structure and content of social networks, and the influence of events. The project also plans to develop efficient strategies for identifying and tracking events in large and dynamic social network environments based on the model, In particular, the project plans to investigate flexible social network query methods to make users’ event search easy. Finally the project plans to build an evaluation system to demonstrate the efficiency of the algorithms and effectiveness of the model.Read moreRead less
Secure user authentication with continuous adaptive risk evaluation. Users typically authenticate to any given system only once - when they first access it (for example, through providing a password or fingerprint). The prevalence of single sign-on further allows this single authentication to be sufficient for access to multiple systems. Thus an adversary can obtain a large degree of access from stealing a single password, hijacking a user's session, or even simply borrowing their phone. This pr ....Secure user authentication with continuous adaptive risk evaluation. Users typically authenticate to any given system only once - when they first access it (for example, through providing a password or fingerprint). The prevalence of single sign-on further allows this single authentication to be sufficient for access to multiple systems. Thus an adversary can obtain a large degree of access from stealing a single password, hijacking a user's session, or even simply borrowing their phone. This project aims to develop a continuous authentication approach based on user behaviour - typical interactions plus biometrics (for example, keystroke dynamics) - combined with a risk adaptive assessment of the resources being accessed, resulting in re-authentication requests in the event of a suspected compromise.Read moreRead less
Service orientated architectures in management of IT infrastructures. Through the utilisation of the proposed framework for building rich business service registries, Australian companies will be able to take full advantage of service oriented architectures in constructing and managing their IT infrastructure in a way that is not currently possible. Such a registry will be able to provide a coherent view of an enterprise's services and resources, and an effective way to co-relate and utilise the ....Service orientated architectures in management of IT infrastructures. Through the utilisation of the proposed framework for building rich business service registries, Australian companies will be able to take full advantage of service oriented architectures in constructing and managing their IT infrastructure in a way that is not currently possible. Such a registry will be able to provide a coherent view of an enterprise's services and resources, and an effective way to co-relate and utilise them, in a changing environment. The development of the framework will also further cement Australia's leading market position in providing service registries to enterprises world-wide, enhance Australia's international research reputation and provide an excellent training environment for young researchers.Read moreRead less
Metamorphic slices and their applications in fault localization. The main purpose of this project is to enhance the quality of software. The expected outcomes include the delivery of new cost-effective methods to debug software, and the extension of current debugging methods to be applicable in wider contexts.
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 ra ....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.Read moreRead less