Property-Based Testing

• Dan Luu 想做更大的项目，Yossi Kreinin 追问谁能判断做对了