From Formal Specification to Property Based Test
RubyKaigi 2026, #rubykaigi
rubykaigi.org