Differential testing
Named by 3 kept items in this workspace.
2 items name it under techniques and 1 under tools.
Search every workspace for Differential testing. It matches the name as written, so it can find other things that share it.
The items that name it 3
60 rules, 6,841 constants, 48,279 differential cases comparing Bend spec transcription against a Python reference port of simple-serialize.md, 0 disagreements
Used Codex to point multiple projects implementing the same cryptographic algorithms/standards (e.g., X.509) against each other to find behavioral differences, uncovering an AES-GCM issue in PyCA and several X.509 issues
Part of CodeMender's advanced program analysis tools to systematically scrutinize code patterns and data flow
All techniques in this workspace.