While simulation-based testing is critical for ensuring the safety of autonomous Unmanned
Aerial Vehicles (UAVs), it has not been adequately researched yet. The UAV Testing …

Generating tests automatically is a key and ongoing area of focus in software engineering
research. The emergence of Large Language Models (LLMs) has opened up new …

It is essential to detect functional differences in various software engineering tasks, such as
automated program repair, mutation testing, and code refactoring. The problem of detecting …

Many-objective evolutionary algorithms (MOEAs) have been applied in the software testing
literature to automate the generation of test cases. While previous studies confirmed the …

UTBot is a tool for automated unit test generation, that generates ready-to-use Python test
cases. It uses two approaches for finding input values: fuzzing and dynamic symbolic …

The field of automated test case generation has grown considerably in recent years to
reduce software testing costs and find bugs. However, the techniques for automatically …

In this work, a system of dynamic symbolic execution for the Python language was
developed. Approaches to solving implementation problems specific to the Python language …