Hacker News new | ask | show | jobs
by IsTom 92 days ago
> empirically demonstrate the code's behavior

That is completely insufficient for code of any real complexity. All this does is replacing known bugs with unknown bugs.