This special issue is dedicated to the presentation of novel results in the scope of program analysis, verification, and testing of software to improve its quality. The papers included in the special issue present approaches that successfully combine model-based test case generation, reasoning about functional equivalence, data mining, classification, and the combination of abstraction with model-checking, to address real software applications in realistic settings.

中文翻译：

---

通过程序分析提高软件质量专刊序言

本期特刊致力于介绍程序分析、验证和测试范围内的新结果，以提高软件质量。特刊中包含的论文介绍了成功结合基于模型的测试用例生成、功能等效性推理、数据挖掘、分类以及抽象与模型检查相结合的方法，以解决现实环境中的真实软件应用程序。