动态软件更新（DSU）系统允许程序在运行时进行更新，从而允许开发人员在不停机的情况下添加功能并修复错误。本文介绍了Kitsune，一种用于C的新型DSU系统，其设计有三个显著特点。。。

方法提取是大多数现代IDE提供的一种常见重构功能。它用对自动生成的方法的调用来替换用户选择的代码段。我们解决了自动推断合同的问题（前提条件。。。