Recent research evidence indicates that the powerful testing tools, even though generate
test inputs automatically for coverage measures, but not up to satisfaction. These tools …

Regression testing, as an important part of the software life cycle, ensures the validity of
modified software. Researchers' focus of this research is on functional requirement-based …

Context Effective software testing requires test adequacy criteria. MC/DC, a widely used
logic-based testing criterion, struggles to detect domain errors caused by incorrect arithmetic …

This paper presents a novel method for testing Boolean expressions. It is based on spectral,
aka Fourier analysis of Boolean functions which is exploited to generate test inputs. The …

In fault‐based Boolean expression testing, the main challenge is to generate effective test
cases that can detect faults within expressions. Previous studies show that it is hard to detect …

This research addresses the issues of safety-critical systems verification and validation.
Safety-critical systems such as avionics systems are complex embedded systems. They are …

Boolean expression testing requires certain types of tests for each Boolean expression in
program specification or implementation. Fault-based testing essentially uses a subset of the …

As Model-based Testing (MBT) approaches mature, they become a promising prospect for
Safety-critical software systems testing. It is necessary to abide by RTCA DO-178C …

Statistical fault localization is one of the essential tasks of program debugging, and it has
shown that the evaluation history of predicates may disclose important clues about the root …

In this paper, a class of linear Boolean functions is analyzed. The Boolean function can be
represented as disjoint cubes or in the form of a truth vector. The primary purpose of this …