Concept This paper is a living review on automatic program repair 1. Compared to a
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …

Automatic program repair (APR) is an effective technique for eliminating defects. The repair
of null pointer dereferences, as the most common defects, requires accurate dependencies …

聚焦安全关键软件, 研究基于PROMELA 形式模型验证C 程序中违反断言, 数组越界,
空指针解引用, 死锁及饥饿等5 类故障技术. 建立C 程序抽象语法树节点到PROMELA 模型 …

Large Language Models for Programming Industrial Control Systems and Mitigating Real-World
Software Vulnerabilities Page 1 UNIVERSITY OF CALIFORNIA, IRVINE Large Language …

Based on the PROMELA formal model, this paper studies the techniques for verifying the
five types of fault in the C program: assertion violation, array out-of-bound, null pointer …

The C programming language is widely used in embedded systems, kernel and hardware
programming, making it one of the most commonly used programming languages. However …