Bar plot comparing fuzzing strategies. y-axis: combined violation and diversity score. Each bar represents an average of normalized violations and normalized diversity score, equally weighted. Our metrics are shown in green, with our two best VO-KMVP and VO-KMOC highlighted in dark green. Neuron coverage metrics are shown in purple, and basic metrics in red. Conventional testing (model test set with no mutations) is shown in blue. Our methods reach scores above 0.8, whereas conventional testing sits at 0.1
Our approach borrows an idea from software verification: coverage-guided fuzzing.
We systematically mutate inputs and search for stimulation patterns that violate biophysical constraints - uncovering diverse safety violations that conventional testing misses.
#Neurotech #MLResearch #AIVerification