Loading Events

Events for August 27, 2019

Events Search and Views Navigation

Event Views Navigation

5:30 pm

IEEE: Meeting and Technical Presentation

August 27 @ 5:30 pm - 6:30 pm
Poor Richards Commonhouse, 8301 Normandale Blvd
Bloomington, MN 55438 United States
+ Google Map

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, […]

Find out more »
+ Export Events