This chapter gives an overview of the field of model-based testing (MBT), particularly the
recent advances in the last decade. It gives a summary of the MBT process, the modeling …

Some commonly used methods have nondeterministicspecifications, eg, iterating through a
set canreturn the elements in any order. However, non-deterministicspecifications typically …

Many applications require specialized data structures not found in the standard libraries, but
implementing new data structures by hand is tedious and error-prone. This paper presents a …

Refactoring engines may have overly weak conditions, overly strong conditions, and
transformation issues related to the refactoring definitions. We find that 86% of the test suites …

We present a testing approach for object oriented programs, which encompasses a testing
criterion and an automated test generation technique. The criterion, that we call field …

Refactoring edits are error‐prone, requiring cost‐effective testing. Regression test suites are
often used as a safety net for decreasing the chances of behavioural changes. Because of …

Regression test selection (RTS) techniques reduce the cost of regression testing by running
only test cases related to code modifications. RTS techniques have been extensively …

Le problème général de la preuve de propriétés de programmes impératifs est indécidable.
Pour deslangages de programmation et de propriétés plus restrictifs, des sous-problèmes …

In this thesis, we explore techniques for the development of recursive functional programs
over unbounded domains that are proved correct according to their high-level specifications …

Program synthesis aims to automate the task of programming. Through program synthesis it
is possible to let the programmer free to care about the description (specification) of the …