使用 DeepState 和 Eclipser 对单元测试进行模糊测试

摘要

ICSE 2019 论文成果 Eclipser 已完整集成进 DeepState：它用近似路径约束与二分搜索替代昂贵的 SMT 求解器，让 C/C++ 基于属性的单元测试兼得白盒与灰盒模糊测试之长，触达更深层的缺陷。