Fault tolerance is becoming increasingly important for upcoming exascale systems,
supporting distributed data processing, due to the expected decrease in the Mean Time …

C programming language never performs automatic bounds checking in order to speed up
execution. But bounds checking is absolutely necessary in any program. Because if a …

Abstract interpretation is widely used to perform static code analysis with non-relational
(interval) as well as relational (difference-bound matrices, polyhedral) domains. Analysis …

随着移动计算, 物联网, 云计算, 人工智能等领域的飞速发展, 也涌现出了很多新的编程语言和
编译器, 但是C/C++ 语言依旧是最受欢迎的编程语言之一, 而数组是C 语言最重要的数据结构之 …

Fault detection is a process of quality assurance which aims to identify where a fault has
occurred and pinpoint the type of fault. However, in the field of software engineering …

Testers of cyclic executive systems are required to make considerable and repetitive efforts
to determine input sequences (tests) for leading a system from a start state to a target state …

Objectives: The aim of this study is to contribute toward bridging the gap between static code
analysis research and industry by improving the ability of research to impact industry and …

During the rapid development of mobile computing, IoT, cloud computing, artificial
intelligence, etc, many new programming languages and compilers are emerging. Even so …

Fault prevention is a process of quality improvement which aims to identify common causes
of faults and take relevant measures to prevent the type of fault recurrence. However, not …

Improving reliability and quality of software is a major aspect in automotive industry.
Software reliability and quality improves by reducing bugs or defects in the software …