Loading Events

« All Events

  • This event has passed.

IEEE: Meeting and Technical Presentation

August 27, 2019 @ 5:30 pm - 6:30 pm


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.

Event URL: https://meetings.vtools.ieee.org/m/199103


Poor Richards Commonhouse
8301 Normandale Blvd
Bloomington, MN 55438 United States
+ Google Map