标签
Hillel Wayne 的时事通讯介绍了他搬到纽约市的近况、Antithesis 即将举办的一场关于 Web 应用程序基于属性的测试的网络研讨会，以及对非确定性程序进行差分测试所面临挑战的技术探讨，包括超属性和分布层面的比较。
本文描述了通过改进YARPGen随机程序生成器用于差异测试，以在Alive2形式化验证工具中寻找遗漏警报漏洞的方法。