Aaron Tomb
Galois, Inc.

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.