摘要：
Abstract Background: Functional correctness很重要，但难测，传统人测，工具只测crash bugs 目的: 利用independent view properties，从种子测试中生成大量property-preserving tests，用来确保具体的ap 阅读全文
摘要：
Abstract 目的: 快速获取tensor shape incompatible errors 方法: API上： 与tensorflow API保持一致，不过更快，只做捕捉tensor shape并打印的工作 此外，相当于实现了自定义的shape计算图 实验: - 52个程序 - 两种测试规模 阅读全文