Kwan Yong Sim

Learn More
Boolean expressions are widely used to model decisions or conditions of a specification or source program. The MUMCUT, which is designed to detect seven common faults where Boolean expressions under test are assumed to be in Irredundant Disjunctive Normal Form (IDNF), is an efficient fault-based test case selection strategy in terms of the fault-detection(More)
Boolean expressions are extensively used in software specifications. It is important to generate a small-sized test set for Boolean expressions without sacrificing the fault-detection capability. MUMCUT is an efficient test case generation strategy for Boolean expressions in Irredundant Disjunctive Normal Form (IDNF). In the real world, however, Boolean(More)
Random Testing (RT) is a fundamental technique of software testing. Adaptive Random Testing (ART) has recently been developed as an enhancement of RT that has better fault detection effectiveness. Several methods (algorithms) have been developed to implement ART. In most ART algorithms, however, the above enhancement diminishes when the dimensionality of(More)
—Financial charting software is widely used for technical analysis of price movements in financial markets. Commercial off-the-shelf charting components are often used to build such software. However, the outputs of some charting components are difficult to be verified because the correct outputs are unknown. In many cases, charting output verification(More)
Fuzzing is an automated black-box testing technique conducted with a destructive aim to crash (that is, to reveal failures in) the software under test. In this paper, we propose an adaptive random approach to fuzz the Out-Of-Memory (OOM) Killer on an embedded Linux distribution. The fuzzing process has revealed OOM Killer failures that cause the Linux(More)
Fault-based testing has been proven to be a cost effective testing technique for software logics and rules expressed in Boolean expressions. It can guarantee the elimination of common faults without exhaustive testing. However, average software testing practitioners may not have in-depth knowledge on Boolean algebra and complex logic derivations required to(More)
Many financial trading and charting software packages provide users with technical indicators to analyze and predict price movements in financial markets. Any computation fault in technical indicator may lead to wrong trading decisions and cause substantial financial losses. Testing is a major software engineering activity to detect computation faults in(More)
The purpose of call admission control in Controlled-load Service network is to offer a Quality of Service (QoS) commitment to guarantee that QoS bounds are not violated. The traditional way of achieving this goal by declaring the worse case traffic descriptors for the incoming calls results in poor bandwidth utilization. In recent years, measurement-based(More)
Spectrum-based Fault Localization (SBFL) has been widely studied as a debugging technique to reduce time and effort in locating faulty code in software. In SBFL, execution profiles (spectra) of pass and fail test cases are analyzed with SBFL metric to rank software code according to their likeliness to be faulty. However, there are significantly more pass(More)