Symbolic execution is a key technology in software testing, which generates test cases by
collecting symbolic path constraints and then solving constraints with SMT solvers. Symbolic …

Software testing is an essential part of the software development cycle to improve the code
quality. Typically, a unit test consists of a test prefix and a test oracle which captures the …

Code generation has largely improved development efficiency in the era of large language
models (LLMs). With the ability to follow instructions, current LLMs can be prompted to …

Synchronizing production and test code, known as PT co-evolution, is critical for software
quality in the software development lifecycle. Existing methods for automatic PT co-evolution …

Large Language Models (LLMs) have demonstrated significant potential in automating
software testing, specifically in generating unit test cases. However, the validation of LLM …

The use of Large Language Models (LLMs) in automated test generation is gaining
popularity, with much of the research focusing on metrics like compilability rate, code …

The use of Large Language Models (LLMs) for autonomous code generation is gaining
attention in emerging technologies. As LLM capabilities expand, they offer new possibilities …

Since the discovery of the Stuxnet cyber attack that damaged several nuclear centrifuges in
2010, it has become evident that industrial control and automation systems are increasingly …