Randomized algorithms are widely used to address many types of software engineering
problems, especially in the area of software verification and validation with a strong …

Historically, researchers have proposed and applied many techniques to reduce the cost of
mutation testing. It has become difficult to find all techniques and to understand the cost …

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 …

Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

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 …

Context. The equivalent mutant problem (EMP) is one of the crucial problems in mutation
testing widely studied over decades. Objectives. The objectives are: to present a systematic …

Mutation testing realises the idea of fault-based testing, ie, using artificial defects to guide
the testing process. It is used to evaluate the adequacy of test suites and to guide test case …

This paper introduces SHOM, a mutation-based test data generation approach that
combines Dynamic Symbolic Execution and Search Based Software Testing. SHOM targets …

Various mutation approximation techniques have been proposed in the literature in order to
reduce the expenses of mutation. This paper presents results from an empirical study …

Integer overflow is a common vulnerability in Ethereum Smart Contracts (ESCs) and often
causes huge economic losses. Smart contracts cannot be changed once it is deployed on …