Static analyzers reason about the behaviors of programs without executing them and report
issues when they violate pre-defined desirable properties. One of the key limitations of static …

Code naturalness, which captures repetitiveness and predictability in programming
languages, has proven valuable for various code-related tasks in software engineering …

Literature in traditional program fuzzing has confirmed that effectiveness is largely impacted
by redundancy among initial seeds, thereby proposing a series of seed selection methods …

Graph Database Management Systems (GDBMSs) store data in a graph format, facilitating
rapid querying of nodes and relationships. This structure is particularly advantageous for …

Compilers are one of the most fundamental software systems. A large number of software
systems rely on compilers for execution. Compiler bugs can significantly hinder software …

In the software industry, the standard recognises automatic fault monitoring systems as
mandatory for implementation. Considering the constant development of technologies and …