2021-01-06 DeepXplore DeepXplore: Automated Whitebox Testing of Deep Learning SystemsSOSP 2017 Kexin Pei (Columbia University); Yinzhi Cao (Lehigh University); Junfeng Yang, Suman Jana (Columbia University) Abstract... 阅读全文…
2020-06-14 What Bugs Live in the Cloud What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems本文探索了6个流行的云系统:Hadoop MapReduce, HDFS,... 阅读全文…
2019-12-09 Summary-of-Angora Summary of AngoraintroductionAngora的关键技术: Context-sensitive branch coverage:(经验总结)通过将上N... 阅读全文…
2019-10-17 Summary of 2 paper about Antifuzz USENIX 2019 - 2 paper about Antifuzz==本文不讨论Antifuzz技术的伦理== ==不要抱着”用这破... 阅读全文…