Traditionally, mutation testing generates an abundance of small deviations of a program,
called mutants. At industrial systems the scale and size of Facebook's, doing this is …

Various proxy metrics for test quality have been defined in order to guide developers when
writing tests. Code coverage is particularly well established in practice, even though the …

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 …

The fifth generation of mobile broadband is more than just an evolution to provide more
mobile bandwidth, massive machine-type communications, and ultra-reliable and low …

Context: Mutation analysis is a popular but costly approach to assess the quality of test
suites. One recent promising direction in reducing costs of mutation analysis is to identify …

Context: Mutation testing techniques, which attempt to construct a set of so-called mutants by
seeding various faults into the software under test, have been widely used to generate test …

Mutation analysis is an effective technique to evaluate a test suite adequacy in terms of
revealing unforeseen bugs in software. Traditional source-or IR-level mutation analysis is …

Mutation analysis is a powerful dynamic approach that has many applications, such as
measuring the quality of test suites or automatically locating faults. However, the inherent …

Fault localization is one of the most important processes in debugging. Among various
automated fault localization techniques, Mutation-Based Fault Localization (MBFL) is one of …

Automatic test input generation (ATG) is a major topic in software engineering, analysis and
security. In this paper, we bridge the gap between state-of-the-art white-box ATG techniques …