Unit testing, crucial for identifying bugs in code modules like classes and methods, is often
neglected by developers due to time constraints. Automated test generation techniques …

This paper presents CoverUp, a novel system that drives the generation of high-coverage
Python regression tests via a combination of coverage analysis and large-language models …

Programmable Logic Controllers (PLCs) are specialized computers extensively utilized in
industrial control fields. Since they control industrial equipment, software faults in PLCs can …

The evolution of recent malware, characterized by the escalating use of cloaking techniques,
poses a significant challenge in the analysis of malware behaviors. Researchers proposed …

Mutation testing, a mainstream fault-based software testing technique, can mimic a wide
variety of software faults by seeding them into the target program and resulting in the so …

The uninterpretability of DNNs hinders their deployment to safety-critical applications.
Recent works have shown that Abstract-Interpretation-based formal certification techniques …

Context: Deep neural networks (DNN) have been widely deployed in safety-critical domains,
such as autonomous cars and healthcare, where error behaviors can lead to serious …

Generating test cases is essential for discovering software bugs. However, finding bugs in
multi-path loops is challenging, especially when bugs can only be exposed after a specific …

Modern web applications use databases to store their data. When processing user requests,
these applications retrieve and store data in the database server, which incurs network …

Cooperative software validation aims at having verification and/or testing tools cooperate on
the task of correctness checking. Cooperation involves the exchange of information about …