我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：会议分会场 3B 的场次说明，主题为程序验证与软件测试，未提供摘要。

本条记录是会议分会场 3B（Session 3B）的场次信息条目，主题标注为「验证与测试」（Verification and Testing），作者栏为 Yun Liang。该条目本身不包含论文正文或摘要（No abstract available），因此无法获知本场次所收录的具体论文、所采用的形式化方法、工具实现或实验评估结果。从主题关键词可以推断，该场次的报告内容大致围绕程序正确性验证（如 Hoare 逻辑、模型检测、SMT 求解与不变式生成等）以及动态测试与缺陷发现（如测试生成、fuzzing、故障定位等）两个方向展开，但具体的技术路线、研究对象与结论均未在给定材料中给出。若需据此整理研究速览，建议进一步获取该场次各篇论文的标题与摘要。

问题

该条目为分会场场次说明，未给出具体研究问题；仅从主题可知其关注程序验证与软件测试相关的正确性保障议题。

方法

摘要缺失，无法确定所使用的方法；条目标题仅提示场次涵盖验证与测试两类技术路线。

评估

无摘要与正文内容，未提供任何实验、案例研究或工具评估信息。

链接与引用

DOI 原文 ·

@inproceedings{paperbot4070,
  title = {Session details: Session 3B: Verification and Testing},
  author = {Yun Liang},
  booktitle = {ASPLOS},
  year = {2017},
  doi = {10.1145/3248619}
}