> empirically demonstrate the code's behavior That is completely insufficient for code of any real complexity. All this does is replacing known bugs with unkno

> 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.