Smart contract, a term which was originally coined to refer to the automation of legal
contracts in general, has recently seen much interest due to the advent of blockchain …

Software developers are key players in the security ecosystem as they produce code that
runs on millions of devices. Yet we continue to see insecure code being developed and …

Tests that fail inconsistently, without changes to the code under test, are described as flaky.
Flaky tests do not give a clear indication of the presence of software bugs and thus limit the …

Developers often run tests to check that their latest changes to a code repository did not
break any previously working functionality. Ideally, any new test failures would indicate …

Increasingly larger number of software systems today are including data science
components for descriptive, predictive, and prescriptive analytics. The collection of data …

Continuous Integration (CI) aims at supporting developers in integrating code changes
constantly and quickly through an automated build process. However, the build process is …

In recent years there has been a noticeable shift in attention from those who use agile
software development toward lean software development, often labelled as a shift “from …

Continuous integration, delivery and deployment (CI/CD) is used to support the collaborative
software development process. CI/CD tools automate a wide range of activities in the …

We report on Facebook's deployment of MIA (Metamorphic Interaction Automaton). MIA is
used to test Facebook's Web Enabled Simulation, built on a web infrastructure of hundreds …

Continuous Integration (CI) has been claimed to introduce several benefits in software
development, including high software quality and reliability. However, recent work pointed …