程序通常遵循许多隐性的编程规则，其中大多数太繁琐，程序员无法记录。当不知道或忘记这些规则的程序员违反了这些规则时，很容易引入缺陷。因此，它。。。

软件错误的自动定位是调试辅助工具中的一个基本问题。以前的研究表明，程序谓词的评估历史可能会揭示有关潜在错误的重要线索。本文提出了一种新的。。。

在线测试是一种将模型程序的测试派生和测试执行结合到单个算法中的技术。我们描述了一种实用的在线测试算法，该算法是在……开发的基于模型的测试工具中实现的。。。

在单元测试，程序被分解为单元，这些单元是函数的集合。可以通过为单输入功能生成输入来测试单元的一部分。入口函数可能包含指针参数，在这种情况下，单元的输入。。。

参数化单元测试扩展了当前使用定义为无参数方法的封闭单元测试的行业实践。通过实例化参数化单元测试，可以重新获得传统的封闭单元测试。我们已经开发了原型工具...

我们开发了一种匹配两个程序版本的程序执行动态历史的方法。生成的匹配在许多应用程序中都很有用，包括软件盗版检测和一些调试场景。与某些静态方法不同。。。

在分布式开发时代，大型应用程序通常由不同开发团队开发的多个组件层组装而成。分层应用程序具有深层调用路径和大量调用（平均调用。。。

性能分析包括在执行期间监视软件系统，然后分析获得的数据。收集分析数据有两种方法：通过代码检测进行事件跟踪和统计采样。这两种方法。。。

我们提出了一种上下文和路径敏感的算法，用于检测具有显式内存管理的程序中的内存泄漏。我们的泄漏检测算法基于底层转义分析：过程中的任何分配位置P（P）那不是。。。

C语言是世界上使用最广泛的语言之一，尤其是在关键基础设施软件中。C程序依赖于使用C预处理器处理的宏，但这些宏很难分析，并且经常容易出错[4]。。。