Software Correctness Tools

by Mark Gritter | at MinneBar 14 | 2:50 – 3:35 in Minnetonka | View Schedule

Fuzzers, model checkers, and automatic test-case generators work. They find bugs; they expose security issues; they identify design flaws. So why don’t more people use them?

This session will be a tour of some of the tools available to automatically find correctness and security problems in software. We’ll talk about static analysis, property-based testing, and even automated proof assistants, and show real bugs that these systems have found. Come and discuss your experience with software correctness tools, or talk about the challenges you face in building and testing reliable software.


Mark Gritter

Mark Gritter is a Founding Engineer at Akita Software, his fourth startup experience, building API observability. Mark formerly worked at HashiCorp on the Vault team; co-founded Tintri, an enterprise storage company that IPOed in 2017; and was a day-one employee at Kealia, a video streaming startup acquired by Sun Microsystems in 2004.

Mark's previous Minnebar presentations have covered topics such as correctness of algorithms, combinatorial auctions, scaling a startup, building a file system, and procedural content generation.