Episode 116 – Monster Bash
This week we are especially delighted to have two special guests on the show, Eric Mertens from Galois, Inc. and Aaron Camerata from voidALPHA to share their insight and experience on the Verigames project with DARPA over that past couple of years. Aaron does a fantastic job explaining how playing the game Monster Proof helps improve code quality by players playing the game in his recent blog post “Games…for Science!” http://voidalpha.com/blog/ce6a4/monster-proof—how-it-works . The concept here is pretty simple — can crowdsourced players playing a game perform formal verification / code testing faster and more cost-effectively than testers following the traditional development … Continue reading
Podcast: Play in new window | Download (Duration: 35:24 — 24.5MB) | Embed
Subscribe: Apple Podcasts | Spotify | Amazon Music | Android | Podcast Index | Youtube Music | RSS | More
