Abstract

工具: *Smith
特点: 接受语义和语法规则说明，输出有效兼容性的测试程序
此外，还能对搜索空间尽可能剪枝，让创建过程尽可能local
实验:

1. 对C, Lua, SQL和SMT-LIB2展示了4个Case studies，说明*Smith能够在语法规则相差较大的程序语言上正常工作
2. 在4种语言中都找到了bugs，比如在老版本的GCC和LLVM中找到了165个不同的crashes