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 …

A transcompiler, also known as source-to-source translator, is a system that converts source
code from a high-level programming language (such as C++ or Python) to another …

We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs
managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation …

The automotive industry is going through a fundamental change by moving from a
mechanical to a software-intensive industry in which most innovation and competition rely …

Search Based Software Testing (SBST) formulates testing as an optimisation problem, which
can be attacked using computational search techniques from the field of Search Based …

Though mutation testing has been widely studied for more than thirty years, the prevalence
and properties of equivalent mutants remain largely unknown. We report on the causes and …

This paper presents a survey of work on Search Based Software Engineering (SBSE) for
Software Product Lines (SPLs). We have attempted to be comprehensive, in the sense that …

We present grey-box concolic testing, a novel path-based test case generation method that
combines the best of both white-box and grey-box fuzzing. At a high level, our technique …

Test Automation: Not Just for Test Execution Page 1 90 IEEE SOFTWARE | PUBLISHED BY
THE IEEE COMPUTER SOCIETY 0740-7459/16/$33.00 © 2016 IEEE FEATURE: SOFTWARE …

Automated unit test generation techniques traditionally follow one of two goals: Either they
try to find violations of automated oracles (eg, assertions, contracts, undeclared exceptions) …