一句话：提出用学习技术合成软件 oracle/规格，以弥补规格缺失并支持自动化可靠性分析。
软件可靠性是软件质量的核心，而分析可靠性通常需要描述软件预期行为的规格说明。现实中许多软件缺少这类规格，严重限制了对其可靠性的自动化分析。该论文关注 oracle 合成，提出应用学习技术来捕获软件的预期行为，并将其表示为可用于可靠性分析的规格或 oracle。摘要主要给出问题动机与研究目标，强调通过合成规格来提升软件可分析性；未具体说明采用的学习算法、合成流程或实验评估结果。
Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a specification of the intended behavior of the software under analysis. Unfortunately, software many times lacks such specifications. This issue seriously diminishes the analyzability of software with respect to its reliability. Thus, finding novel techniques to capture the intended software behavior in the form of specifications would allow us to exploit them for automated reliability analysis.
DOI 原文 ·
@inproceedings{paperbot5980,
title = {Applying learning techniques to oracle synthesis},
author = {Facundo Molina},
booktitle = {ASE},
year = {2020},
doi = {10.1145/3324884.3415287}
}