The risk posed by software bugs has increased tremendously as software is now essential to
many aspects of our daily lives. Software testing is still the most common method for finding …

Computer Science course instructors routinely have to create comprehensive test suites to
assess programming assignments. The creation of such test suites is typically not trivial as it …

Over the past few years, SMT string solvers have found their applications in an increasing
number of domains, such as program analyses in mobile and Web applications, which …

As software becomes more important and ubiquitous, high quality software also becomes
crucial. Developers constantly make changes to improve software, and they rely on …

Objectives: Firstly, to identify different requirements-based TCP techniques in the existing
literature and in software organizations, along with their PGs. Secondly, to identify …

In Continuous Integration (CI) development environment, integration testing (ie, CI testing) is
an important practice to verify the quality of submitted code. With the growth of integration …

Testing has been an inevitable activity in the software development life cycle. In the current
scenario, software development has become evolutionary in nature where software is …

The work in the thesis has been carried out under the auspices of the research school IPA
(Institute for Programming research and Algorithmics) and was financed by the Nederlandse …

Context: Software is an important part of modern life, and in most cases, it provides
tremendous benefits to society. Unfortunately, software is highly susceptible to faults. Faults …

Nowadays, quality assurance for highly configurable software has become increasingly
important. One of the most established ways to ensure software quality is testing. For …