Recent advancements in large language models (LLMs) have demonstrated exceptional
success in a wide range of general domain tasks, such as question answering and following …

Hybrid testing approaches that involve fuzz testing and symbolic execution have shown
promising results in achieving high code coverage, uncovering subtle errors and …

Software systems fail. These failures are often reported to issue tracking systems, where
they are prioritized and assigned to responsible developers to be investigated. When …

Automated test generation based on symbolic execution can be beneficial for systematically
testing safety-critical software, to facilitate test engineers to pursue the strict testing …

Search-based software testing (SBST) generates tests using search algorithms guided by
measurements gauging how far a test case is away from exercising a coverage goal. The …

The level and quality of automation dramatically affects software testing activities,
determines costs and effectiveness of the testing process, and largely impacts on the quality …

Ranged symbolic execution has been proposed as a way of scaling symbolic execution by
splitting the task of path exploration onto several workers running in parallel. The split is …

The ability to generate test data is often a necessary prerequisite for automated software
testing. For the generated data to be fit for their intended purpose, the data usually have to …

Crash reproduction approaches help developers during debugging by generating a test
case that reproduces a given crash. Several solutions have been proposed to automate this …

Symbolic execution is an effective technique for exploring paths in a program and reasoning
about all possible values on those paths. However, the technique still struggles with code …