A5035107113- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Software Engineering Research
- Software System Performance and Reliability
- VLSI and Analog Circuit Testing
- Advanced Malware Detection Techniques
- Formal Methods in Verification
- Machine Learning and Algorithms
- Scientific Computing and Data Management
- Adversarial Robustness in Machine Learning
- Logic, Reasoning, and Knowledge
- Logic, programming, and type systems
- Software Engineering Techniques and Practices
- Machine Learning and Data Classification
- Radiation Effects in Electronics
- Parallel Computing and Optimization Techniques
- Service-Oriented Architecture and Web Services
- Anomaly Detection Techniques and Applications
- Distributed systems and fault tolerance
- Teaching and Learning Programming
- Distributed and Parallel Computing Systems
- Business Process Modeling and Analysis
- Multi-Agent Systems and Negotiation
- Spreadsheets and End-User Computing
- Topic Modeling
University of Detroit Mercy
2025
Swinburne University of Technology
2015-2024
Universidad de Sevilla
2019
RMIT University
2016
Research Center for Environmental Changes, Academia Sinica
2015
National Chung Cheng University
2006
The University of Melbourne
1994-2004
Vocational Training Council
2003
Hong Kong Institute of Vocational Education
2002-2003
Hong Kong Polytechnic University
2000
In software testing, a set of test cases is constructed according to some predefined selection criteria. The then examined against these cases. Three interesting observations have been made on the current artifacts testing. Firstly, an error-revealing case considered useful while successful which does not reveal errors usually further investigated. Whether still contain information for revealing has properly studied. Secondly, no matter how extensive testing conducted in development phase,...
An important research area of Spectrum-Based Fault Localization (SBFL) is the effectiveness risk evaluation formulas. Most previous studies have adopted an empirical approach, which can hardly be considered as sufficiently comprehensive because huge number combinations various factors in SBFL. Though some aimed at overcoming limitations none them has provided a completely satisfactory solution. Therefore, we provide theoretical investigation on We define two types relations between formulas,...
In software testing, something which can verify the correctness of test case execution results is called an oracle.The oracle problem occurs when either does not exist, or exists but too expensive to be used.Metamorphic testing a approach uses metamorphic relations, properties under represented in form relations among inputs and outputs multiple executions, help program.This paper presents new empirical evidence support this approach, has been used alleviate various applications enhance...
Abstract Background Recent advances in experimental and computational technologies have fueled the development of many sophisticated bioinformatics programs. The correctness such programs is crucial as incorrectly computed results may lead to wrong biological conclusion or misguide downstream experimentation. Common software testing procedures involve executing target program with a set test inputs then verifying outputs. However, due complexity programs, it often difficult verify Therefore...
Metamorphic testing is a technique that can be used to verify the functional correctness of software in absence an ideal oracle. This paper extends metamorphic into user-oriented approach verification, validation, and quality assessment, conducts large scale empirical studies with four major web search engines: Google, Bing, Chinese Baidu. These engines are very difficult test assess using conventional approaches owing lack objective generally recognized The results useful for both engine...
Modern information technology paradigms, such as online services and off-the-shelf products, often involve a wide variety of users with different or even conflicting objectives. Every software output may satisfy some users, but also fail to others. Furthermore, do not know the internal working mechanisms systems. This situation is quite from bespoke software, where developers typically each other. paper proposes an approach help better understand that they use, thereby more easily achieve...
What if we could know that a program is buggy, even not tell whether or its observed output correct? Metamorphic testing provides this ability. This article explains the basics of technique.
Because of the growing importance object-oriented programming, a number testing strategies have been proposed. They are based either on pure black-box or white-box techniques. We propose in this article methodology to integrate black- and The technique is used select test cases. mainly applied determine whether two objects resulting from program execution care observationally equivalent. It also cases some situations. define concept fundamental pair as equivalent terms that formed by...
Object-oriented programming consists of several different levels abstraction, namely, the algorithmic level, class cluster and system level. The testing object-oriented software at is similar to conventional program testing. Testing poses new challenges. Since methods objects may interact with one another unforeseen combinations invocations, they are much more complex simulate test than hierarchy functional calls in programs. In this paper, we propose a methodology for levels. class-level...
We investigate the efficacy of subdomain testing and random using expected number failures detected (the E-measure) as a measure effectiveness. Simple it is, E-measure does provide great deal useful information about fault detecting capability strategies. With E-measure, we obtain new characterizations testing, including several conditions that determine whether is more or less effective than testing. Previously, strategies has been analyzed probability at least one failure P-measure) for...
We present the findings of, to best of our knowledge, first survey on software testing practices carried out in Australian ICT industry. A total 65 organizations from various major capital cities Australia participated survey, which was conducted between 2002 and 2003. The focused five aspects testing, namely methodologies techniques, automated tools, metrics, standards, training education. Based results, current are reported, as well some observations recommendations for future industry academia.
Weyuker and Jeng (ibid., vol. SE-17, pp. 703-711, July 1991) have investigated the conditions that affect performance of partition testing compared analytically fault-detecting ability random testing. This paper extends generalizes some their results. We give more general ways characterizing worst case for testing, along with a precise characterization when this is as good also find guaranteed to perform at least well so long number test cases selected in proportion size subdomains.< <ETX...
Many applications in the field of scientific computing - such as computational biology, linguistics, and others depend on Machine Learning algorithms to provide important core functionality support solutions particular problem domains. However, it is difficult test because often there no "test oracle" indicate what correct output should be for arbitrary input. To help address quality software, this paper we present a technique testing implementations supervised machine learning...
Failure patterns describe typical ways in which inputs revealing program failure are distributed across the input domain—in many cases, clustered together contiguous regions. Based on these observations several debug testing methods have been developed. We examine upper bound of effectiveness improvements possible through making assumptions about shape, size and orientation patterns. consider bounds for strategies with respect to minimizing F-measure, maximizing P-measure, E-measure....