PulseAugur
中
实时 08:40:31
实体 Yannis Charalampous

Yannis Charalampous

PulseAugur coverage of Yannis Charalampous — every cluster mentioning Yannis Charalampous across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_141419 ·

    新工具推断部分契约以实现健全的回归验证

    研究人员开发了一种新颖的基于契约的回归验证工具，该工具可自动从反例中推断部分规范。此方法旨在确保软件补丁保留预期行为，而无需重新验证整个程序或手动编写规范。该工具在EqBench-C套件上证明了其健全性，未产生虚假证明，并识别出其他工具遗漏的差异，同时实现了与现有方法相当的验证率。