"Finding bugs without running or even looking at code" by Jay Parlar
0:00 · Watch on YouTube
You can find deep design bugs without running or reading code by writing your system formally in a model checker like Alloy, which exhaustively generates instances and checks correctness properties to surface flaws yo...