Beyond Fuzzing: Symbolic Testing in Practice

Do you feel nervous when you’re about to deploy a new version of your protocol? Even if you follow all the best practices, it’s hard to be confident that your tests cover everything. This is where symbolic testing comes in, it is a powerful technique that can run tests on all possible inputs. Yet, getting started and writing effective symbolic tests can be very challenging. In this talk, we will build an intuition for how symbolic testing works, with no prior knowledge and no formal jargon. We will use this understanding to show how to write effective symbolic tests, drawing examples from real-world protocols.