Objective measurement of test quality is one of the key issues in software testing. It has been
a major research focus for the last two decades. Many test criteria have been proposed and …

This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …

We propose a coverage oriented test case generation methodology for BDI multi-agent
systems. The coverage criteria involve plans and nodes within plans of multi-agent systems …

In this survey we investigate frameworks for systematic detection of errors in parallel
programs. For sequential programs there are two basic classifications of errors. One is …

Although a number of weaknesses of symbolic execution, when used for software testing,
have been highlighted in the literature, the recent resurgence of strongly‐typed languages …

Algorithmic complexity vulnerabilities (ACVs) can be exploited to cause denial-of-service.
Detecting ACVs is hard because of the numerous kinds of loop complexities that cause …

This paper proposes a model for specifying data flow-based parallel data processing
programs agnostic of target Big Data processing frameworks. The paper focuses on the …

This paper reports the results of a study comparing the effectiveness of automatically
generated tests constructed using random and t-way combinatorial techniques on safety …

Test engineers often face the task of developing a set of test cases that are appropriate for a
given software artefact. The software testing literature is replete with testing methods tailored …

A large number of path‐oriented testing criteria have been proposed in the last twenty years.
Surprisingly, almost all of them suffer from a serious weakness, which is called the …