Software testing is an important and expensive phase of the software development life cycle.
Over the past few decades, there has been an ongoing research to automate the process of …

Memory corruption related vulnerabilities in software written in C or C++ are one of the
oldest problems in computer security. The lack of memory safety in these languages allows …

Software testing is an important part of the development process-it consumes a large
proportion of the labour resources required to produce a working program. Yet it is not …

Nowadays a software is a part of most modern systems which enables automatic control of
transport processes. During development of control system, it is necessary for each …

Fuzzing and dynamic symbolic execution (DSE) are the two main approaches currently
being used for automated bug finding. The key strength of fuzzing is that it is simple to use …

This thesis tackles the problem of testing (legacy) production systems such as those of our
industrial partner Michelin, one of the three largest tire manufacturers in the world, by means …

Testing is technically and economically crucial for ensuring software quality. One of the most
challenging testing tasks is to create test suites that will reveal potential defects in software …

La automatización de la generación de los casos de prueba puede tener un impacto
significativo en la eficacia y la eficiencia de las pruebas de software. Para reducir el trabajo …