IEEE Secure Development Conference

September 28 - 30, 2020
Virtual Conference

Sponsored by the IEEE Computer Society Technical Committee on Security and Privacy



Posted on: September 23rd, 2020 by Yousef Iskander

Aaron Tomb
Galois, Inc.

Live demo + Q&A for the Crux symbolic testing tool

Abstract: This BoF session will allow attendees to see a live demonstration of the Crux symbolic testing tool, described during the earlier “Symbolic Testing for C and Rust” talk, and to ask in-depth questions about it. Symbolic testing is an approach to improving software assurance by generalizing concrete test inputs to symbolic variables and exhaustively checking that any properties being tested succeed for all possible values of these symbolic inputs. Symbolic testing is a type of formal verification, but the close connection to traditional testing makes it much easier to deploy than other approaches.