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.