Tag
Hillel Wayne's newsletter covers his move to NYC, an upcoming Antithesis webinar on property-based testing for web applications, and a technical exploration of the challenges of differential testing on nondeterministic programs, including hyperproperties and distribution-level comparisons.
The article describes methods to find missed alarm bugs in the Alive2 formal verification tool by adapting the YARPGen random program generator for differential testing.