Widely-used deep learning (DL) libraries demand reliability. Thus, it is integral to test DL
libraries' API functions. Despite the effectiveness of fuzz testing, there are few techniques …

Many existing warning prioritization techniques seek to reorder the static analysis warnings
such that true positives are provided first. However, excessive amount of time is required …

In this chapter, we first introduce static analysis and alarms generated by static analysis tools
(Section 1.1). We then describe the problem of large number of alarms and their …

软件不变量是软件的重要属性, 在软件验证, 软件调试和软件测试等领域有重要作用. 自20
世纪末以来, 基于动态分析的不变量综合技术成为相关领域的一个研究热点 …

Рандомизированное тестирование приложений (фаззинг, фаззинг-тестирование)
является одним из широко используемых методов поиска ошибок. Цель фаззинг …

The objects of study in this dissertation are programs and algorithms that reason about
programs using their syntactic structure. Such algorithms, referred to as program verification …

软件不变量是软件的重要属性, 在软件验证, 软件调试和软件测试等领域有重要作用. 自 20
世纪末以来, 基于动态分析的不变量综合技术成为相关领域的一个研究热点 …

Software verification has recently made enormous progress due to the development of novel
verification methods and the speed-up of supporting technologies like SMT solving. To keep …

Software has been extensively used in various domains to provide online services. With the
growing popularity of these types of applications, the quality of the software has a great …

Program verification, as used colloquially, refers to the practice of algorithmically finding
program proofs, ie, proofs of program judgments. These program judgments come in many …