Loading Events

« All Events

  • This event has passed.

IEEE: Meeting and Technical Presentation

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

SOFTWARE CORRECTNESS TOOLS

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

Details

Date:
August 27
Time:
5:30 pm - 6:30 pm
Event Category:
Website:
https://meetings.vtools.ieee.org/m/199103

Organizer

Eldon Nelson
Phone:
952-393-3481
Email:
eldon_nelson@ieee.org

Venue

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