随机测试样例生成

问题

• 发现隐式的前条件规约
  • 区分错误输出/不满足规约
• 根据规约生成测试样例
  • 程序合成？SMT Solver？
• 避免测试样例的 bias