Mutation Testing is a fault-based software testing technique that has been widely studied for
over three decades. The literature on Mutation Testing has contributed a set of approaches …

Context The field of mutation analysis has been growing, both in the number of published
papers and the number of active researchers. This special issue provides a sampling of …

This paper introduces a new paradigm for Mutation Testing, which we call Higher Order
Mutation Testing (HOM Testing). Traditional Mutation Testing considers only first order …

Correct functioning of object-oriented software depends upon the successful integration of
classes. While individual classes may function correctly, several new faults can arise when …

A formally verified program is only as correct as its specifications (SPEC). But how to assure
that the SPEC is complete and free of loopholes? This paper presents Fast, short for Fuzzing …

The quality of the W&T—Verification, Validation and Testing—activity is extremely relevant to
the software development process. The establishment of a low-cost, effective testing and …

Regular expressions are used to characterize sets of strings (ie, languages) using a pattern‐
based syntax. They are applied in different contexts as, for example, data validation in Web …

Performance models have been used in the past to understand the performance
characteristics of software systems. However, the identification of performance criticalities is …

Mutation Testing is an error-based criterion that provides mechanisms to evaluate the quality
of a test set and/or to generate test sets. This criterion, originally proposed to program …

Regular expressions (regexes) permit to describe set of strings using a pattern-based
syntax. Writing a correct regex that exactly captures the desired set of strings is difficult, also …